Typographical Number Theory
id:
typographical-number-theory-297-4523458
title:
Typographical Number Theory
text:
Typographical Number Theory (TNT) is a formal axiomatic system describing the natural numbers that appears in Douglas Hofstadter's book Gödel, Escher, Bach. It is an implementation of Peano arithmetic that Hofstadter uses to help explain Gödel's incompleteness theorems. Like any system implementing the Peano axioms, TNT is capable of referring to itself.
brand slug:
wiki
category slug:
encyclopedia
description:
Axiomatic system
original url:
https://en.wikipedia.org/wiki/Typographical_Number_Theory
date created:
date modified:
2024-02-04T17:42:11Z
main entity:
{"identifier":"Q1052753","url":"https://www.wikidata.org/entity/Q1052753"}
image:
fields total:
13
integrity:
14