The Nachlass of Kurt G""odel: an overview / John W. Dawson, Jr.1: |
G""odel's Gabelsberger shorthand / Cheryl A. Dawson2: |
G""odel *1930c: Introductory note to *1930c / Warren Goldfarb3: |
Lecture on completeness of the functional calculus / 4: |
G""odel *1931?: Introductory note to *1931? / Stephen C. Kleene5: |
On undecidable sentences / 6: |
Godel *1933c: Introductory note to *1933c / Solomon Feferman7: |
The present situation in the foundations of mathematics / 8: |
Godel *1933?: Introductory note to *1933?, / 9: |
Godel's life and work Solomon Feferman |
A Godel chronology / John W. Dawson, Jr |
Godel 1929: Introductory note to 1929, 1930 and 1930a / Burton Dreben ; Jean van Heijenoort |
Uber die Vollstandigkeit des Logikkalkuls |
On the completeness of the calculus of logic |
Godel 1930: (See introductory note under Godel 1929.) |
Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls |
The completeness of the axioms of the functional calculus of logic |
Godel 1930a: (See introductory note under Godel 1929.) |
Godel 1930b: Introductory note to 1930b, 1931 and 1932b |
Einige metamathematische Resultate uber Entscheidungs-definitheit und Widerspruchsfreiheit |
Some metamathematical results on completeness and consistency |
Godel 1931: (See introductory note under Godel 1930b.) |
Uber formal unentscheidbare Satze der Principia mathematica und verwandter Systeme I |
On formally undecidable propositions of Principia mathematica and related systems I |
Godel 1931a: Introductory note to 1931a, 1932e, f and g |
Diskussion zur Grundlegung der Mathematik |
Discussion on providing a foundation for mathematics |
Godel 1931b: Review of Neder 1931 |
Godel 1931c: Introductory note to 1931c Solomon Feferman |
Review of Hilbert 1931 |
Godel 1931d: Review of Betsch 1926 |
Godel 1931e: Review of Becker 1930 |
Godel 1931f: Review of Hasse and Scholz 1928 |
Godel 1931g: Review of von Juhos 1930 |
Godel 1932: Introductory note to 1932 / A. S. Troelstra |
Zum intuitionistischen aussagenkalkul |
On the intuitionistic propositional calculus |
Godel 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 |
Godel 1932b: (See introductory note under Godel 1930b.) |
Uber Vollstandigkeit und Widerspruchsfreiheit |
On completeness and consistency |
Godel 1932c: Introductory note to 1932c / W. V. Quine |
Eine Eigenschaft der Realisierungen des Aussagenkalkuls |
A property of the realizations of the propositional calculus |
Godel 1932d: Review of Skolem 1931 |
Godel 1932e: (See introductory note under Godel 1931a.) |
Review of Carnap 1931 |
Godel 1932f: (See introductory note under Godel 1931a.) |
Review of Heyting 1931 |
Godel 1932g: (See introductory note under Godel 1931a.) |
Review of von Neumann 1931 |
Godel 1932h: Review of Klein 1931 |
Godel 1932i: Review of Hoensbroech 1931 |
Godel 1932j: Review of Klein 1932 |
Godel 1932k: Introductory note to 1932k, 1934e and 1936b |
Review of Church 1932 |
Godel 1932l: Review of Kalmar 1932 |
Godel 1932m: Review of Huntington 1932 |
Godel 1932n: Review of Skolem 1932 |
Godel 1932o: Review of Dingler 1931 |
Godel 1933: Introductory note to 1933 |
[[Uber die Parryschen Axiome]] |
[[On Parry's axioms]] |
Godel 1933a: Introductory note to 1933a |
Uber Unabhangigkeitsbeweise im Aussagenkalkul |
On independence proofs in the propositional calculus |
Godel 1933b: Introductory note to 1933b, c, d, g and h / Judson Webb |
Uber die metrische Einbettbarkeit der Quadrupel des R3 in Kugelflachen |
On the isometric embeddability of quadruples of points of R3 in the surface of a sphere |
Godel 1933c: (See introductory note under Godel 1933b.) |
Uber die Waldsche Axiomatik des Zwichenbegriffes |
On Wald's axiomization of the notion of betweenness |
Godel 1933d: (See introductory note under Godel 1933b.) |
Zur Axiomatik der elementargeometrischen Verknupfungs-relationen |
On the axiomatization of the relations of connection in elementary geometry |
Godel 1933e: Introductory note to 1933e |
Zur institutionistischen Arithmetik und Zahlentheorie |
On intuitionistic arithmetic and number theory |
Godel 1933f: Introductory note to 1933f |
Eine Interpretation des institutionistischen Aussagenkalkuls |
An interpretation of the intuitionistic propositional calculus |
Godel 1933g: (See introductory note under Godel 1933b.) |
Bemerkung uber projektive Abbildungen |
Remark concerning projective mappings |
Godel 1933h: (See introductory note under Godel 1933b.) |
Diskussion uber koordinatenlose Differentialgeometrie |
Discussion concerning coordinate-free differential geometry |
Godel 1933i: (See introductory note under Godel 1932a.) |
Zum Enscheidungsproblem des logischen Funktionenkalkuls |
On the decision probelm for the functional calculus of logic |
Godel 1933j: Review of Kaczmarz 1932 |
Godel 1933k: Review of Lewis 1932 |
Godel 1933l: (See introductory note under Godel 1932a.) |
Review of Kalmar 1933 |
Godel 1933m: Review of Hahn 1932 |
Godel 1934: Introductory note to 1934 |
On undecidable propositions of formal mathematical systems |
Godel 1934a: Review of Skolem 1933 |
Godel 1934b: Introductory note to 1934b |
Review of Quine 1933 |
Godel 1934c: Introductory note to 1934c and 1935 / Robert L. Vaught |
Review of Skolem 1933a |
Godel 1934d: Review of Chen 1933 |
Godel 1934e: (See introductory note under Godel 1932k.) |
Review of Church 1933 |
Godel 1934f: Review of Notcutt 1934 |
Godel 1935: (See introductory note under Godel 1934c.) |
Review of Skolem 1934 |
Godel 1935a: Introductory note to 1935a |
Review of Huntington 1934 |
Godel 1935b: Review of Carnap 1934 |
Godel 1935c: Review of Kalmar 1934 |
Godel 1936: Introductory note to 1936 |
Diskussionsbemerkung |
Discussion remark |
Godel 1936a: Introductory note to 1936a / Rohit Parikh |
Uber die Lange von Beweisen |
On the length of proofs |
Godel 1936b: (See introductory note under Godel 1932k.) |
Review of Church 1935 |
Textual notes |
References |
Index |
G÷del 1938: Introductory note to 1938, 1939, 1939a, and 1940 / Robert M. Solovay |
The consistency of the axiom of choice and of the generalized continuum hypothesis |
G÷del 1939: the consistency of the generalized continuum hypothesis |
G÷del 1939a: Consistency proof for the generalized continuum hypothesis |
G÷del 1940: the consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory |
G÷del 1944: Introductory note to 1944 / Charles Parsons |
Russell's mathematical logic |
G÷del 1946: Introductory note to 1946 |
Remarks before the Princeton bicentennial conference on problems in mathematics |
G÷del 1947: Introductory note to 1947 and 1964 / Gregory H. Moore |
What is Cantor's continuum problem? |
G÷del 1949: Introductory note to 1949 and 1952 / S.W. Hawking |
An example of a new type of cosmological solutions of Einstein's field equations of gravitation |
G÷del 1949a: Introductory note to 1949a / Howard Stein |
A remark about the relationship between relativity theory and idealistic philosophy |
G÷del 1952: Rotaoting universes in general relativity theory |
G÷del 1958: Introductory note to 1958 and 1972 / A.S. Troelstra |
_ber eine bisher noch nicht benntzte Erweiterung des finiten Standpunktes |
On a hitherto unutilized extension of the finitary standpoint |
G÷del 1962: postscript to Spector 1962 |
G÷del 1964: What is Cantor's continuum problem? |
G÷del 1972: On an extension of finitary mathematics which has not yet been used |
G÷del 1972a: Introductory note to 1972a by Solomon Feferman / Judson C. Webb |
Some remarks on the undecidability results |
G÷del 1974: Introductory note to 1974 / Jens Erik Fenstad |
Remark on non-standard analysis |
The Nachlass of Kurt G""odel: an overview / John W. Dawson, Jr.1: |
G""odel's Gabelsberger shorthand / Cheryl A. Dawson2: |
G""odel *1930c: Introductory note to *1930c / Warren Goldfarb3: |