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.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Dialectica interpretation (en)
- Interpretação Dialectica (pt)
|
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)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is known for
of | |
is known for
of | |
is foaf:primaryTopic
of | |