Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.

DOI10.1007/BF01700692zbMATH Open57.0054.02WikidataQ54006652 ScholiaQ54006652MaRDI QIDQ571218

Kurt Gödel

Publication date: 1931

Published in: Monatshefte für Mathematik und Physik (Search for Journal in Brave)

Related Items (15)

Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History ⋮ On a paradox of Hilbert and Bernays ⋮ On the concept of relatively uniform realizability of propositional formulas ⋮ Defining \(\mathbb{Z}\) using unit groups ⋮ Pragmatic rationalism and pragmatic nominalism in the Lvov-Warsaw school ⋮ Turnstile figures of opposition ⋮ Theoretical computer science: computability, decidability and logic ⋮ Algebra as a semiotic modeling system ⋮ Gödel's incompleteness as an argument for dualism ⋮ Gödel, Escher, Bell: contextual semantics of logical paradoxes ⋮ Paradoxes, intuitionism, and proof-theoretic semantics ⋮ Selection closedness and scoring correspondences ⋮ The internal logic and finite colimits ⋮ On the origins of Cantor's paradox: what Hilbert left unsaid at the 1900 ICM in Paris ⋮ Consequences of Gödel theorems on third quantized theories like string field theory and group field theory

This page was built for publication: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q571218)