Typographical Number Theory
Typographical Number Theory is an actively used notation created in 1979. 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 (it is self-referential). Read more on Wikipedia...
41Years Old | 20Users | ?Jobs |
- the Typographical Number Theory wikipedia page
- Typographical Number Theory first appeared in 1979
- Typographical Number Theory was created by Douglas Hofstadter
- Have a question about Typographical Number Theory not answered here? Email me and let me know how I can help.
Last updated August 9th, 2020