| Information | |
|---|---|
| has gloss | eng: Typographical Number Theory (TNT) is a formal axiomatic system describing the natural numbers that appears in Douglas Hofstadters book Gödel, Escher, Bach. It is an implementation of Peano arithmetic that Hofstadter uses to help explain Gödels incompleteness theorems. |
| lexicalization | eng: Typographical number theory |
| instance of | c/Formal theories of arithmetic |
| Meaning | |
|---|---|
| Italian | |
| has gloss | ita: In matematica, laritmetica tipografica, o AT (in inglese Typographical Number Theory, o TNT) è un sistema formale assiomatico che descrive i numeri naturali che compare nel libro di Douglas Hofstadter Gödel, Escher, Bach. È una implementazione dellaritmetica di Peano. |
| lexicalization | ita: aritmetica tipografica |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint