Typographical Number Theory (original) (raw)
Teoria Tipogràfica de Nombres (en anglès Typographical Number Theory - TNT) és un sistema axiomàtic formal que descriu els nombres naturals que apareixen en el llibre de Douglas Hofstadter Gödel, Escher, Bach. Es tracta d'una aplicació de l'aritmètica de Peano que Hofstadter fa servir per ajudar a explicar els teoremes d'incompletesa de Kurt Gödel i també fa una analogia amb l'ADN. Igual que qualsevol sistema d'aplicació dels axiomes de Peano, TNT és capaç de referir-se a si mateix (és autoreferencial).
| Property | Value |
|---|---|
| dbo:abstract | Teoria Tipogràfica de Nombres (en anglès Typographical Number Theory - TNT) és un sistema axiomàtic formal que descriu els nombres naturals que apareixen en el llibre de Douglas Hofstadter Gödel, Escher, Bach. Es tracta d'una aplicació de l'aritmètica de Peano que Hofstadter fa servir per ajudar a explicar els teoremes d'incompletesa de Kurt Gödel i també fa una analogia amb l'ADN. Igual que qualsevol sistema d'aplicació dels axiomes de Peano, TNT és capaç de referir-se a si mateix (és autoreferencial). (ca) 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). (en) In matematica, l'aritmetica tipografica, o AT (in inglese Typographical Number Theory, o TNT) è un sistema formale assiomatico che descrive i numeri naturali che compare nel libro di Douglas Hofstadter Gödel, Escher, Bach. È una implementazione dell'aritmetica di Peano. Come ogni sistema che implementa gli assiomi di Peano, l'aritmetica tipografica è in grado di riferirsi a sé stessa (è autoreferenziale). Viene utilizzato un sistema ristretto, che tratta solo di numeri interi e positivi, allo scopo di trovare la minima configurazione in cui appare possibile esprimere il Teorema di Gödel. Nella sua versione minima, l'AT utilizza 20 simboli, più un simbolo di fine riga. È definita anche l'associazione di ciascun simbolo con un numero di Gödel nella quale vengono usati numeri a tre cifre (chiamati triplette per analogia con il DNA) composti dalle cifre 1, 2, 3 e 6. Alcuni dei simboli e delle regole derivano da un sistema formale precedentemente definito, chiamato calcolo proposizionale che implementa il calcolo proposizionale comunemente utilizzato in logica matematica. Traducendo le formule in numeri, Hofstadter mostra come il teorema di Gödel corrisponda ad un numero, e come quel numero sia parte dell'AT. Viene anche definita una versione dell'AT che elimina alcuni simboli, chiamata versione frugale dell'AT. (it) 印符数论（英語：Typographical Number Thoery，简称TNT），是一种用来描述自然数的形式公理系统，由侯世达在《哥德尔、埃舍尔、巴赫》一书中提出。TNT是皮亚诺算术的一种实现，侯世达以此来解释哥德尔不完备定理。 如同其他实现皮亚诺公理的系统，TNT是自指的。 (zh) |
| dbo:wikiPageExternalLink | https://archive.org/details/gdelescherbachet00hofs |
| dbo:wikiPageID | 3724075 (xsd:integer) |
| dbo:wikiPageLength | 5953 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1093158502 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prime_(symbol) dbr:Propositional_calculus dbr:Peano_arithmetic dbr:Negation dbc:Formal_theories_of_arithmetic dbr:Successor_function dbr:Gödel,_Escher,_Bach dbr:Gödel's_incompleteness_theorems dbr:Douglas_Hofstadter dbr:Axiom dbr:Natural_number dbr:Natural_numbers dbr:Self-referential dbr:Variable_(mathematics) dbr:Boolean_logic dbr:Logical_system dbr:Logical_negation |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Code dbt:Short_description |
| dct:subject | dbc:Formal_theories_of_arithmetic |
| gold:hypernym | dbr:System |
| rdf:type | yago:Abstraction100002137 yago:Cognition100023271 yago:Explanation105793000 yago:HigherCognitiveProcess105770664 yago:Process105701363 yago:PsychologicalFeature100023100 yago:Theory105989479 yago:Thinking105770926 yago:WikicatFormalTheoriesOfArithmetic |
| rdfs:comment | Teoria Tipogràfica de Nombres (en anglès Typographical Number Theory - TNT) és un sistema axiomàtic formal que descriu els nombres naturals que apareixen en el llibre de Douglas Hofstadter Gödel, Escher, Bach. Es tracta d'una aplicació de l'aritmètica de Peano que Hofstadter fa servir per ajudar a explicar els teoremes d'incompletesa de Kurt Gödel i també fa una analogia amb l'ADN. Igual que qualsevol sistema d'aplicació dels axiomes de Peano, TNT és capaç de referir-se a si mateix (és autoreferencial). (ca) 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). (en) 印符数论（英語：Typographical Number Thoery，简称TNT），是一种用来描述自然数的形式公理系统，由侯世达在《哥德尔、埃舍尔、巴赫》一书中提出。TNT是皮亚诺算术的一种实现，侯世达以此来解释哥德尔不完备定理。 如同其他实现皮亚诺公理的系统，TNT是自指的。 (zh) In matematica, l'aritmetica tipografica, o AT (in inglese Typographical Number Theory, o TNT) è un sistema formale assiomatico che descrive i numeri naturali che compare nel libro di Douglas Hofstadter Gödel, Escher, Bach. È una implementazione dell'aritmetica di Peano. Come ogni sistema che implementa gli assiomi di Peano, l'aritmetica tipografica è in grado di riferirsi a sé stessa (è autoreferenziale). Viene utilizzato un sistema ristretto, che tratta solo di numeri interi e positivi, allo scopo di trovare la minima configurazione in cui appare possibile esprimere il Teorema di Gödel. (it) |
| rdfs:label | Teoria Tipogràfica dels Nombres (ca) Aritmetica tipografica (it) Typographical Number Theory (en) 印符数论 (zh) |
| owl:sameAs | freebase:Typographical Number Theory yago-res:Typographical Number Theory wikidata:Typographical Number Theory dbpedia-ca:Typographical Number Theory dbpedia-it:Typographical Number Theory dbpedia-zh:Typographical Number Theory https://global.dbpedia.org/id/8BuR |
| prov:wasDerivedFrom | wikipedia-en:Typographical_Number_Theory?oldid=1093158502&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Typographical_Number_Theory |
| is dbo:wikiPageDisambiguates of | dbr:TNT_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Typographical_number_theory |
| is dbo:wikiPageWikiLink of | dbr:Peano_axioms dbr:Strange_loop dbr:TNT_(disambiguation) dbr:Gödel,_Escher,_Bach dbr:Gödel's_incompleteness_theorems dbr:Typographical_number_theory |
| is foaf:primaryTopic of | wikipedia-en:Typographical_Number_Theory |