Kurt Gödel Collected works

Contents

• Gödel's life and work, Solomon Feferman A Gödel chronology, John W. Dawson, Jr.
• Gödel 1929: Introductory note to 1929, 1930 and 1930a, Burton Dreben and Jean van Heijenoort Über die Vollständigkeit des Logikkalküls
• On the completeness of the calculus of logic
• Gödel 1930: (See introductory note under Gödel 1929.) Die Vollständigkeit der Axiome des logischen Funktionenkalküls The completeness of the axioms of the functional calculus of logic
• Gödel 1930a: (See introductory note under Gödel 1929.) Über die Vollständigkeit des Logikkalküls On the completeness of the calculus of logic
• Gödel 1930b: Introductory note to 1930b, 1931 and 1932b, Stephen C. Kleene Einige metamathematische Resultate über Entscheidungs-definitheit und Widerspruchsfreiheit Some metamathematical results on completeness and consistency
• Gödel 1931: (See introductory note under Gödel 1930b.) Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I On formally undecidable propositions of Principia mathematica and related systems I
• Gödel 1931a: Introductory note to 1931a, 1932e, f and g, John W. Dawson, Jr. Diskussion zur Grundlegung der Mathematik Discussion on providing a foundation for mathematics
• Gödel 1931b: Review of Neder 1931 Gödel 1931c: Introductory note to 1931c, Solomon Feferman Review of Hilbert 1931
• Gödel 1931d: Review of Betsch 1926
• Gödel 1931e: Review of Becker 1930
• Gödel 1931f: Review of Hasse and Scholz 1928
• Gödel 1931g: Review of von Juhos 1930
• Gödel 1932: Introductory note to 1932, A. S. Troelstra Zum intuitionistischen aussagenkalkül On the intuitionistic propositional calculus
• Gödel 1932a: Introductory note to 1932a, 1933i and l, Warren D. Goldfarb Ein Spezialfall des Enscheidungsproblems der theoretischen Logik A special case of the decision problem for theoretical logic
• Gödel 1932b: (See introductory note under Gödel 1930b.) Über Vollständigkeit und Widerspruchsfreiheit On completeness and consistency
• Gödel 1932c: Introductory note to 1932c, W. V. Quine Eine Eigenschaft der Realisierungen des Aussagenkalküls A property of the realizations of the propositional calculus
• Gödel 1932d: Review of Skolem 1931
• Gödel 1932e: (See introductory note under Gödel 1931a.) Review of Carnap 1931
• Gödel 1932f: (See introductory note under Gödel 1931a.) Review of Heyting 1931
• Gödel 1932g: (See introductory note under Gödel 1931a.) Review of von Neumann 1931
• Gödel 1932h: Review of Klein 1931
• Gödel 1932i: Review of Hoensbroech 1931
• Gödel 1932j: Review of Klein 1932
• Gödel 1932k: Introductory note to 1932k, 1934e and 1936b, Stephen C. Kleene Review of Church 1932
• Gödel 1932l: Review of Kalmár 1932
• Gödel 1932m: Review of Huntington 1932
• Gödel 1932n: Review of Skolem 1932
• Gödel 1932o: Review of Dingler 1931
• Gödel 1933: Introductory note to 1933, W. V. Quine [[Über die Parryschen Axiome]] [[On Parry's axioms]]
• Gödel 1933a: Introductory note to 1933a, W. V. Quine Über Unabhängigkeitsbeweise im Aussagenkalkül On independence proofs in the propositional calculus
• Gödel 1933b: Introductory note to 1933b, c, d, g and h, Judson Webb Über die metrische Einbettbarkeit der Quadrupel des R3 in Kugelflächen On the isometric embeddability of quadruples of points of R3 in the surface of a sphere
• Gödel 1933c: (See introductory note under Gödel 1933b.) Über die Waldsche Axiomatik des Zwichenbegriffes On Wald's axiomization of the notion of betweenness
• Gödel 1933d: (See introductory note under Gödel 1933b.) Zur Axiomatik der elementargeometrischen Verknüpfungs-relationen On the axiomatization of the relations of connection in elementary geometry
• Gödel 1933e: Introductory note to 1933e, A. S. Troelstra Zur institutionistischen Arithmetik und Zahlentheorie On intuitionistic arithmetic and number theory
• Gödel 1933f: Introductory note to 1933f, A. S. Troelstra Eine Interpretation des institutionistischen Aussagenkalküls An interpretation of the intuitionistic propositional calculus
• Gödel 1933g: (See introductory note under Gödel 1933b.) Bemerkung über projektive Abbildungen Remark concerning projective mappings
• Gödel 1933h: (See introductory note under Gödel 1933b.) Diskussion über koordinatenlose Differentialgeometrie Discussion concerning coordinate-free differential geometry
• Gödel 1933i: (See introductory note under Gödel 1932a.)Zum Enscheidungsproblem des logischen Funktionenkalküls On the decision probelm for the functional calculus of logic
• Gödel 1933j: Review of Kaczmarz 1932
• Gödel 1933k: Review of Lewis 1932
• Gödel 1933l: (See introductory note under Gödel 1932a.) Review of Kalmár 1933
• Gödel 1933m: Review of Hahn 1932
• Gödel 1934: Introductory note to 1934, Stephen C. Kleene On undecidable propositions of formal mathematical systems
• Gödel 1934a: Review of Skolem 1933
• Gödel 1934b: Introductory note to 1934b, W. V. Quine Review of Quine 1933
• Gödel 1934c: Introductory note to 1934c and 1935, Robert L. Vaught Review of Skolem 1933a
• Gödel 1934d: Review of Chen 1933
• Gödel 1934e: (See introductory note under Gödel 1932k.) Review of Church 1933
• Gödel 1934f: Review of Notcutt 1934
• Gödel 1935: (See introductory note under Gödel 1934c.) Review of Skolem 1934
• Gödel 1935a: Introductory note to 1935a, W. V. Quine Review of Huntington 1934
• Gödel 1935b: Review of Carnap 1934
• Gödel 1935c: Review of Kalmár 1934
• Gödel 1936: Introductory note to 1936, John W. Dawson, Jr. Diskussionsbemerkung Discussion remark
• Gödel 1936a: Introductory note to 1936a, Rohit Parikh Über die Länge von Beweisen On the length of proofs
• Gödel 1936b: (See introductory note under Gödel 1932k.) Review of Church 1935
• Textual
• Notes
• References
• Index