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

Last updated August 9th, 2020

Edit Typographical Number Theory on GitHub