Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

Typographical Number Theory

Typographical Number Theory - Notation

< >

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

#2222on PLDB 44Years Old 75Users
0Books 0Papers

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

scl.html 路 typographical-number-theory.html 路 sisc.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub