Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Typographical Number Theory

< >

Typographical Number Theory is a notation created in 1979 by Douglas Hofstadter.

#4505on PLDB 45Years Old
Wikipedia

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...


View source
- Build the next great programming language Add About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll