- Gödel
published his
incompleteness theorems in Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme (called in
English "On...
- "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" ("On
Formally Undecidable Propositions of
Principia Mathematica...
- Wien. 2a, 119 pp 119–144 (1910). Haas AE. Die
Entwicklungsgeschichte des
Satzes von der
Erhaltung der Kraft.
Habilitation Thesis, Vienna, 1909. Hermann...
- p. 59. ISBN 978-0-19-876766-4. Wulf,
Christine (1982). "Zwei
Finnische Sätze aus dem 15. Jahrhundert". Ural-Altaische Jahrbücher (in German). 2: 90–98...
-
arithmetischen Satzes". Mathematisch-Naturwissenschaftliche Blätter. 6 (12): 179–180.
Stockhaus H (1910).
Beitrag zum
Beweis des
Fermatschen Satzes. Leipzig:...
- {p}},{\bar {\xi }},N({\bar {\xi }})]} . Dies ist die
allgemeine Form des
Satzes. The
general form of a truth-function is: [ p ¯ , ξ ¯ , N ( ξ ¯ ) ] {\displaystyle...
- 1007/BF01696781. S2CID 123343522. Gödel, Kurt (1931). "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" [On
Formally Undecidable...
- Springer-Verlag New York Inc., New York, 1966. with
Fritz Oberhettinger:
Formeln und
Sätze für die
speziellen Funktionen der
mathematischen Physik.
Springer 1943;...
- in the
Monatshefte in 1931
under the
title "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme I" ("On
Formally Undecidable...
- 1007/bf01565428. S2CID 122719892. Gödel, Kurt (1931). "Über
formal unentscheidbare Sätze der
Principia Mathematica und
verwandter Systeme, I" (PDF). Monatshefte...