| dbo:abstract
|
- Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados (en alemán, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I) es un artículo acerca de lógica matemática escrito por Kurt Gödel. El artículo, con fecha de 17 de noviembre de 1930, fue publicado originalmente en alemán en el volumen de 1931 de Monatshefte für Mathematik. Existen varias traducciones impresas al inglés, y el artículo ha sido incluido en dos colecciones de artículos clásicos de lógica matemática. El artículo contiene teoremas que tienen varias implicaciones para las pruebas de consistencia en matemáticas y técnicas que Gödel inventó para probar estos teoremas. (es)
- "Ü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. Submitted 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 Gödel's incompleteness theorems, now fundamental results in logic that have many implications for consistency proofs in mathematics. The paper is also known for introducing new techniques that Gödel invented to prove the incompleteness theorems. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11522 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados (en alemán, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I) es un artículo acerca de lógica matemática escrito por Kurt Gödel. El artículo, con fecha de 17 de noviembre de 1930, fue publicado originalmente en alemán en el volumen de 1931 de Monatshefte für Mathematik. Existen varias traducciones impresas al inglés, y el artículo ha sido incluido en dos colecciones de artículos clásicos de lógica matemática. El artículo contiene teoremas que tienen varias implicaciones para las pruebas de consistencia en matemáticas y técnicas que Gödel inventó para probar estos teoremas. (es)
- "Ü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. Submitted 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 Gödel's incompleteness theorems, now fundamental results in logic that have many implications for consistency proofs in mathematics. The paper is also known for introducing new techniques that Gödel invented to prove the incompleteness theorems. (en)
|
| rdfs:label
|
- Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados (es)
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
