Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dialectica_interpretation> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples 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 wikiPageLength "7791".
- Dialectica_interpretation wikiPageOutDegree "27".
- Dialectica_interpretation wikiPageRevisionID "672954634".
- Dialectica_interpretation wikiPageWikiLink Affine_logic.
- Dialectica_interpretation wikiPageWikiLink Axiom_of_choice.
- Dialectica_interpretation wikiPageWikiLink Bar_recursion.
- Dialectica_interpretation wikiPageWikiLink Category:Intuitionism.
- Dialectica_interpretation wikiPageWikiLink Category:Proof_theory.
- Dialectica_interpretation wikiPageWikiLink Consistency.
- Dialectica_interpretation wikiPageWikiLink Consistency_proof.
- Dialectica_interpretation wikiPageWikiLink Dialectica.
- Dialectica_interpretation wikiPageWikiLink Dialectica_space.
- Dialectica_interpretation wikiPageWikiLink Dialectica_spaces.
- Dialectica_interpretation wikiPageWikiLink Double-negation_translation.
- Dialectica_interpretation wikiPageWikiLink Finitism.
- Dialectica_interpretation wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- Dialectica_interpretation wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Dialectica_interpretation wikiPageWikiLink Gödel–Gentzen_negative_translation.
- Dialectica_interpretation wikiPageWikiLink Heyting_arithmetic.
- Dialectica_interpretation wikiPageWikiLink Higher-order_function.
- Dialectica_interpretation wikiPageWikiLink Higher_order_function.
- Dialectica_interpretation wikiPageWikiLink Independence_of_premise.
- Dialectica_interpretation wikiPageWikiLink Intuitionistic_logic.
- Dialectica_interpretation wikiPageWikiLink Kurt_Gödel.
- Dialectica_interpretation wikiPageWikiLink Linear_logic.
- Dialectica_interpretation wikiPageWikiLink Markovs_principle.
- Dialectica_interpretation wikiPageWikiLink Mathematical_induction.
- Dialectica_interpretation wikiPageWikiLink Paul_Bernays.
- Dialectica_interpretation wikiPageWikiLink Peano_arithmetic.
- Dialectica_interpretation wikiPageWikiLink Peano_axioms.
- Dialectica_interpretation wikiPageWikiLink Primitive_recursive_arithmetic.
- Dialectica_interpretation wikiPageWikiLink Primitive_recursive_functional.
- Dialectica_interpretation wikiPageWikiLink Proof_theory.
- Dialectica_interpretation wikiPageWikiLink Reverse_mathematics.
- Dialectica_interpretation wikiPageWikiLink Weak_Kxc3xb6nigs_lemma.
- Dialectica_interpretation wikiPageWikiLinkText "''Dialectica'' interpretation".
- Dialectica_interpretation wikiPageWikiLinkText "Dialectica interpretation".
- Dialectica_interpretation wikiPageWikiLinkText "System T".
- Dialectica_interpretation wikiPageWikiLinkText "dialectica interpretation".
- Dialectica_interpretation wikiPageWikiLinkText "system T".
- Dialectica_interpretation hasPhotoCollection Dialectica_interpretation.
- Dialectica_interpretation subject Category:Intuitionism.
- Dialectica_interpretation subject Category:Proof_theory.
- Dialectica_interpretation hypernym Interpretation.
- Dialectica_interpretation type Work.
- Dialectica_interpretation type Proof.
- Dialectica_interpretation type 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=672954634.
- Dialectica_interpretation isPrimaryTopicOf Dialectica_interpretation.