Typographical Number Theory

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.

Source: Wikipedia — Typographical Number Theory (CC BY-SA 4.0)

Typographical Number Theory

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.

This neuron ends here.

Source: Wikipedia "Typographical Number Theory" · CC BY-SA 4.0

Share this article: X · Bluesky
Privacy Policy