Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Typographical_Number_Theory> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Typographical_Number_Theory abstract "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).".
- Typographical_Number_Theory wikiPageID "3724075".
- Typographical_Number_Theory wikiPageRevisionID "585892485".
- Typographical_Number_Theory hasPhotoCollection Typographical_Number_Theory.
- Typographical_Number_Theory subject Category:Formal_theories_of_arithmetic.
- Typographical_Number_Theory type Abstraction100002137.
- Typographical_Number_Theory type Cognition100023271.
- Typographical_Number_Theory type Explanation105793000.
- Typographical_Number_Theory type FormalTheoriesOfArithmetic.
- Typographical_Number_Theory type HigherCognitiveProcess105770664.
- Typographical_Number_Theory type Process105701363.
- Typographical_Number_Theory type PsychologicalFeature100023100.
- Typographical_Number_Theory type Theory105989479.
- Typographical_Number_Theory type Thinking105770926.
- Typographical_Number_Theory comment "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).".
- Typographical_Number_Theory label "Aritmetica tipografica".
- Typographical_Number_Theory label "Typographical Number Theory".
- Typographical_Number_Theory label "印符数论".
- Typographical_Number_Theory sameAs Aritmetica_tipografica.
- Typographical_Number_Theory sameAs m.09xc2r.
- Typographical_Number_Theory sameAs Q1052753.
- Typographical_Number_Theory sameAs Q1052753.
- Typographical_Number_Theory sameAs Typographical_Number_Theory.
- Typographical_Number_Theory wasDerivedFrom Typographical_Number_Theory?oldid=585892485.
- Typographical_Number_Theory isPrimaryTopicOf Typographical_Number_Theory.