Questions Columns Rows
GitHub icon

Typographical Number Theory

Typographical Number Theory - Notation

< >

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

#2189on PLDB 44Years Old

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 Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 279 Logout