Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dialectica_interpretation> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Dialectica_interpretation 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 special issue dedicated to Paul Bernays on his 70th birthday.".
- Dialectica_interpretation wikiPageID "16974776".
- Dialectica_interpretation wikiPageRevisionID "583469001".
- Dialectica_interpretation hasPhotoCollection Dialectica_interpretation.
- Dialectica_interpretation subject Category:Intuitionism.
- Dialectica_interpretation subject Category:Proof_theory.
- Dialectica_interpretation 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 special issue dedicated to Paul Bernays on his 70th birthday.".
- Dialectica_interpretation label "Dialectica interpretation".
- Dialectica_interpretation sameAs m.04142lt.
- Dialectica_interpretation sameAs Q5270518.
- Dialectica_interpretation sameAs Q5270518.
- Dialectica_interpretation wasDerivedFrom Dialectica_interpretation?oldid=583469001.
- Dialectica_interpretation isPrimaryTopicOf Dialectica_interpretation.