Book:Article/Kurt Friedrich Gödel/Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme
Jump to navigation
Jump to search
Journal Article
- $\text {1931}$: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme ("On formally undecidable propositions of Principia Mathematica and related systems")
Subject Matter
In this thesis, Kurt Friedrich Gödel proves the Gödel's First Incompleteness Theorem
Sources
- 1931: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme ("On formally undecidable propositions of Principia Mathematica and related systems") (Monatshefte für Mathematik und Physik Vol. 38: pp. 173 – 198)
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Gödel, Kurt (1906-78)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Gödel, Kurt (1906-78)