- "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" ("On
Formally Undecidable Propositions of
Principia Mathematica...
- theorems. Gödel
published his
incompleteness theorems in Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme (called in English...
-
published in the
Monatshefte in 1931
under the
title "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" ("On Formally...
- 00004.3. ISSN 0975-4393. Gödel, Kurt (December 1931). "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I". Monatshefte...
- 1 A + 3 {\displaystyle 9A+1A+3} ) Gödel, Kurt (1931), "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" (PDF), Monatshefte...
-
according to De Morgan's laws Gödel, Kurt (1
December 1931). "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I". Monatshefte...
-
journal established in 1890.
Among its well-known
papers is "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" by Kurt Gödel...
- Publications. ISBN 978-0-486-46921-8. Gödel, Kurt (1931). "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme, I". Monatshefte...
- 1007/BF01696781. S2CID 123343522. Gödel, Kurt (1931). "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" [On Formally...
- diagonalization. For more on this proof, see Berry's paradox. 1931, "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme, I." Monatshefte...
