Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems abstract "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems I\") is a paper in mathematical logic by Kurt Gödel. Dated November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte für Mathematik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers. The paper contains theorems that have many implications for consistency proofs in mathematics and techniques that Gödel invented to prove these theorems.".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageExternalLink canon00-goedel.pdf.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageID "1450110".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageLength "10603".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageOutDegree "37".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageRevisionID "704715412".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Alfred_Tarski.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Alonzo_Church.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:1931_in_science.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:1931_works.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:Logic_literature.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:Mathematical_logic.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:Mathematics_papers.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:Works_by_Kurt_Gödel.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:Works_originally_published_in_German_magazines.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Category:Works_originally_published_in_science_and_technology_magazines.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Consistency.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Gödel_numbering.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink J._Barkley_Rosser.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Jacques_Herbrand.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Jean_van_Heijenoort.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink John_W._Dawson,_Jr.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Kurt_Gödel.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Liar_paradox.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Martin_Davis.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Mathematical_logic.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Paradox.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Peano_axioms.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Primitive_recursive_function.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Raymond_Smullyan.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Recursion.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Stephen_Cole_Kleene.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Tarskis_undefinability_theorem.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLinkText "On Formally Undecidable Propositions of "''Principia Mathematica''" and Related Systems".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLinkText "On Formally Undecidable Propositions of Principia Mathematica and Related Systems".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLinkText "On Formally Undecidable Propositions...".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageUsesTemplate Template:About.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageUsesTemplate Template:Italic_title.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageUsesTemplate Template:Main.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:1931_in_science.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:1931_works.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:Logic_literature.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:Mathematical_logic.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:Mathematics_papers.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:Works_by_Kurt_Gödel.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:Works_originally_published_in_German_magazines.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems subject Category:Works_originally_published_in_science_and_technology_magazines.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems hypernym Paper.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems type Newspaper.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems type Work.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems type Field.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems type Redirect.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems type Work.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems comment "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems I\") is a paper in mathematical logic by Kurt Gödel. Dated November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte für Mathematik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers.".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems label "On Formally Undecidable Propositions of Principia Mathematica and Related Systems".
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems sameAs Q7090984.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems sameAs m.025rvqw.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems sameAs Q7090984.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wasDerivedFrom On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems?oldid=704715412.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems isPrimaryTopicOf On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems.