Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Gentzens_consistency_proof> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Gentzens_consistency_proof abstract "Gentzen's consistency proof is a result of proof theory in mathematical logic. It "reduces" the consistency of a simplified part of mathematics, not to something that could be proved in that same simplified part of mathematics (which would contradict the basic results of Kurt Gödel), but rather to a simpler logical principle.".
- Gentzens_consistency_proof wikiPageExternalLink Kurt_Gödel_Collected_Works_Volume_III.html?id=gDzbuUwma5MC&pg=PA87.
- Gentzens_consistency_proof wikiPageExternalLink Levels_of_Infinity.html?id=wc4R0BHdo-sC.
- Gentzens_consistency_proof wikiPageExternalLink bevisteori.ps.
- Gentzens_consistency_proof wikiPageExternalLink ?PPN=GDZPPN002278391.
- Gentzens_consistency_proof wikiPageID "4076831".
- Gentzens_consistency_proof wikiPageLength "9116".
- Gentzens_consistency_proof wikiPageOutDegree "26".
- Gentzens_consistency_proof wikiPageRevisionID "655681643".
- Gentzens_consistency_proof wikiPageWikiLink Association_for_Symbolic_Logic.
- Gentzens_consistency_proof wikiPageWikiLink Bull._London_Math._Soc..
- Gentzens_consistency_proof wikiPageWikiLink Category:Metatheorems.
- Gentzens_consistency_proof wikiPageWikiLink Category:Proof_theory.
- Gentzens_consistency_proof wikiPageWikiLink Consistency.
- Gentzens_consistency_proof wikiPageWikiLink Consistent.
- Gentzens_consistency_proof wikiPageWikiLink Epsilon_numbers_(mathematics).
- Gentzens_consistency_proof wikiPageWikiLink Epsilon_zero.
- Gentzens_consistency_proof wikiPageWikiLink First-order_arithmetic.
- Gentzens_consistency_proof wikiPageWikiLink Gerhard_Gentzen.
- Gentzens_consistency_proof wikiPageWikiLink Goodsteins_theorem.
- Gentzens_consistency_proof wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Gentzens_consistency_proof wikiPageWikiLink Gxc3xb6dels_second_incompleteness_theorem.
- Gentzens_consistency_proof wikiPageWikiLink Hermann_Weyl.
- Gentzens_consistency_proof wikiPageWikiLink Jeff_Paris.
- Gentzens_consistency_proof wikiPageWikiLink Kurt_Gödel.
- Gentzens_consistency_proof wikiPageWikiLink Laurence_Kirby.
- Gentzens_consistency_proof wikiPageWikiLink London_Mathematical_Society.
- Gentzens_consistency_proof wikiPageWikiLink Mathematical_logic.
- Gentzens_consistency_proof wikiPageWikiLink Ordinal_analysis.
- Gentzens_consistency_proof wikiPageWikiLink Ordinal_notation.
- Gentzens_consistency_proof wikiPageWikiLink Ordinal_number.
- Gentzens_consistency_proof wikiPageWikiLink Peano_axioms.
- Gentzens_consistency_proof wikiPageWikiLink Primitive_recursive.
- Gentzens_consistency_proof wikiPageWikiLink Primitive_recursive_arithmetic.
- Gentzens_consistency_proof wikiPageWikiLink Primitive_recursive_function.
- Gentzens_consistency_proof wikiPageWikiLink Proof_theory.
- Gentzens_consistency_proof wikiPageWikiLink Recursive_set.
- Gentzens_consistency_proof wikiPageWikiLink Transfinite_induction.
- Gentzens_consistency_proof wikiPageWikiLink Tree_(graph_theory).
- Gentzens_consistency_proof wikiPageWikiLink Tree_(mathematics).
- Gentzens_consistency_proof wikiPageWikiLink Well-order.
- Gentzens_consistency_proof wikiPageWikiLink Well-ordering.
- Gentzens_consistency_proof wikiPageWikiLinkText "Gentzen's consistency proof".
- Gentzens_consistency_proof wikiPageWikiLinkText "Gentzen's proof".
- Gentzens_consistency_proof wikiPageWikiLinkText "Gentzen's theorem".
- Gentzens_consistency_proof wikiPageWikiLinkText "consistency proof".
- Gentzens_consistency_proof wikiPageWikiLinkText "proof of the consistency of Peano arithmetic".
- Gentzens_consistency_proof wikiPageWikiLinkText "proved the consistency".
- Gentzens_consistency_proof wikiPageWikiLinkText "shown".
- Gentzens_consistency_proof hasPhotoCollection Gentzens_consistency_proof.
- Gentzens_consistency_proof wikiPageUsesTemplate Template:Citation.
- Gentzens_consistency_proof wikiPageUsesTemplate Template:Cite_book.
- Gentzens_consistency_proof wikiPageUsesTemplate Template:Expert-subject.
- Gentzens_consistency_proof wikiPageUsesTemplate Template:Harv.
- Gentzens_consistency_proof wikiPageUsesTemplate Template:Harvtxt.
- Gentzens_consistency_proof wikiPageUsesTemplate Template:Reflist.
- Gentzens_consistency_proof subject Category:Metatheorems.
- Gentzens_consistency_proof subject Category:Proof_theory.
- Gentzens_consistency_proof hypernym Result.
- Gentzens_consistency_proof comment "Gentzen's consistency proof is a result of proof theory in mathematical logic. It "reduces" the consistency of a simplified part of mathematics, not to something that could be proved in that same simplified part of mathematics (which would contradict the basic results of Kurt Gödel), but rather to a simpler logical principle.".
- Gentzens_consistency_proof label "Gentzen's consistency proof".
- Gentzens_consistency_proof sameAs m.0bgwt8.
- Gentzens_consistency_proof sameAs Q5533794.
- Gentzens_consistency_proof sameAs Q5533794.
- Gentzens_consistency_proof wasDerivedFrom Gentzens_consistency_proofoldid=655681643.
- Gentzens_consistency_proof isPrimaryTopicOf Gentzens_consistency_proof.