| dbo:abstract
|
- In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T. It was developed by Kurt Gödel to provide a consistency proof of arithmetic. The name of the interpretation comes from the journal Dialectica, where Gödel's paper was published in a 1958 special issue dedicated to Paul Bernays on his 70th birthday. (en)
- Em teoria da prova, a Interpretação Dialectica é uma interpretação de prova da aritmética intuicionística (Aritmética de Heyting) em uma extensão de tipos finitos da aritmética primitiva recursiva, o chamado Sistema T. Foi desenvolvida por Kurt Gödel para fornecer uma prova de consistência da aritmética. O nome da interpretação vem do periódico Dialectica, onde o trabalho de Gödel foi publicado em uma edição especial dedicada a Paul Bernays em seu 70º aniversário. (pt)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8066 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so-called System T. It was developed by Kurt Gödel to provide a consistency proof of arithmetic. The name of the interpretation comes from the journal Dialectica, where Gödel's paper was published in a 1958 special issue dedicated to Paul Bernays on his 70th birthday. (en)
- Em teoria da prova, a Interpretação Dialectica é uma interpretação de prova da aritmética intuicionística (Aritmética de Heyting) em uma extensão de tipos finitos da aritmética primitiva recursiva, o chamado Sistema T. Foi desenvolvida por Kurt Gödel para fornecer uma prova de consistência da aritmética. O nome da interpretação vem do periódico Dialectica, onde o trabalho de Gödel foi publicado em uma edição especial dedicada a Paul Bernays em seu 70º aniversário. (pt)
|
| rdfs:label
|
- Dialectica interpretation (en)
- Interpretação Dialectica (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
