Collected Works Volume I: Publications 1929-1936

by Godel, Kurt; Feferman, Solomon; Dawson, John W.; Kleene, Stephen C.; Moore, Gregory H.; Solovay, Robert M.; Heijenoort, Jean van

• ISBN13: 9780195147209
• ISBN10: 0195147200
• Format: Paperback
• Copyright: 2001-05-31
• Publisher: Oxford University Press

Summary

Kurt Gödel (1906-1978) was the most outstanding logician of the twentieth century, noted for Gödel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Gödel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents and placing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians.

Table of Contents

Godel's life and work	1	(36)
Solomon Feferman
A Godel chronology	37	(7)
John W. Dawson, Jr.
Introductory note to 1929, 1930 and 1930a	44	(82)
Burton Dreben
Jean van Heijenoort
Uber die Vollstandigkeit des Logikkalkuls	60	(1)
On the completeness of the calculus of logic	61	(41)
(See introductory note under Godel 1929.)
Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls	102	(1)
The completeness of the axioms of the functional calculus of logic	103	(21)
(See introductory note under Godel 1929.)
Uber die Vollstandigkeit des Logikkalkuls	124	(1)
On the completeness of the calculus of logic	125	(1)
Introductory note to 1930b, 1931 and 1932b	126	(70)
Stephen C. Kleene
Einige metamathematische Resultate uber Entscheidungsdefinitheit und Widerspruchsfreiheit	140	(1)
Some metamathematical results on completeness and consistency	141	(3)
(See introductory note under Godel 1930b.)
Uber formal unentscheidbare Satze der Principia mathematica und verwandter Systeme I	144	(1)
On formally undecidable propositions of Principia mathematica and related systems I	145	(51)
Introductory note to 1931a, 1932e, f and g	196	(9)
John W. Dawson, Jr.
Diskussion zur Grundlegung der Mathematik	200	(1)
Discussion on providing a foundation for mathematics	201	(4)
Review of Neder 1931	205	(3)
Introductory note to 1931c	208	(7)
Solomon Feferman
Review of Hilbert 1931	213	(2)
Review of Betsch 1926	215	(2)
Review of Becker 1930	217	(2)
Review of Hasse and Scholz 1928	219	(1)
Review of von Juhos 1930	219	(3)
Introductory note to 1932	222	(4)
A. S. Troelstra
Zum intuitionistischen Aussagenkalkul	222	(1)
On the intuitionistic propositional calculus	223	(3)
Introductory note to 1932a, 1933i and l	226	(12)
Warren D. Goldfarb
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik	230	(1)
A special case of the decision problem for theoretical logic	231	(3)
(See introductory note under Godel 1930b.)
Uber Vollstandigkeit und Widerspruchsfreiheit	234	(1)
On completeness and consistency	235	(3)
Introductory note to 1932c	238	(3)
W. V. Quine
Eine Eigenschaft der Realisierungen des Aussagenkalkuls	238	(1)
A property of the realizations of the propositional calculus	239	(2)
Review of Skolem 1931	241	(10)
(See introductory note under Godel 1931a.)
Review of Carnap 1931	243	(4)
(See introductory note under Godel 1931a.)
Review of Heyting 1931	247	(2)
(See introductory note under Godel 1931a.)
Review of von Neumann 1931	249	(2)
Review of Klein 1931	251	(2)
Review of Hoensbroech 1931	253	(1)
Review of Klein 1932	253	(3)
Introductory note to 1932k, 1934e and 1936b	256	(3)
Stephen C. Kleene
Review of Church 1932	257	(2)
Review of Kalmar 1932	259	(2)
Review of Huntington 1932	261	(2)
Review of Skolem 1932	263	(2)
Review of Dingler 1931	265	(1)
Introductory note to 1933	266	(2)
W. V. Quine
[Uber die Parryschen Axiome]	266	(1)
[On Parry's axioms]	267	(1)
Introductory note to 1933a	268	(4)
W. V. Quine
Uber Unabhangigkeitsbeweise im Aussagenkalkul	268	(1)
On independence proofs in the propositional calculus	269	(3)
Introductory note to 1933b, c, d, g and h	272	(10)
Judson Webb
Uber die metrische Einbettbarkeit der Quadrupel des R3 in Kugelflachen	276	(1)
On the isometric embeddability of quadruples of points of R3 in the surface of a sphere	277	(1)
(See introductory note under Godel 1933b.)
Uber die Waldsche Axiomatik des Zwischenbegriffes	278	(1)
On Wald's axiomatization of the notion of betweenness	279	(1)
(See introductory note under Godel 1933b.)
Zur Axiomatik der elementargeometrischen Verknupfungsrelationen	280	(1)
On the axiomatization of the relations of connection in elementary geometry	281	(1)
Introductory note to 1933e	282	(14)
A. S. Troelstra
Zur intuitionistischen Arithmetik und Zahlentheorie	286	(1)
On intuitionistic arithmetic and number theory	287	(9)
Introductory note to 1933f	296	(31)
A. S. Troelstra
Eine Interpretation des intuitionistischen Aussagenkalkuls	300	(1)
An interpretation of the intuitionistic propositional calculus	301	(1)
(See introductory note under Godel 1933b.)
Bemerkung uber projektive Abbildungen	302	(1)
Remark concerning projective mappings	303	(1)
(See introductory note under Godel 1933b.)
Diskussion uber koordinatenlose Differentialgeometrie	304	(1)
Discussion concerning coordinate-free differential geometry	305	(1)
(See introductory note under Godel 1932a.)
Zum Entscheidungsproblem des logischen Funktionenkalkuls	306	(1)
On the decision problem for the functional calculus of logic	307	(20)
Review of Kaczmarz 1932	327	(2)
Review of Lewis 1932	329	(4)
(See introductory note under Godel 1932a.)
Review of Kalmar 1933	331	(2)
Review of Hahn 1932	333	(5)
Introductory note to 1934	338	(35)
Stephen C. Kleene
On undecidable propositions of formal mathematical systems	346	(27)
Review of Skolem 1933	373	(1)
Introductory note to 1934b	374	(2)
W. V. Quine
Review of Quine 1933	375	(1)
Introductory note to 1934c and 1935	376	(5)
Robert L. Vaught
Review of Skolem 1933a	379	(2)
Review of Chen 1933	381	(2)
(See introductory note under Godel 1932k.)
Review of Church 1933	381	(2)
Review of Notcutt 1934	383	(3)
(See introductory note under Godel 1934c.)
Review of Skolem 1934	385	(1)
Introductory note to 1935a	386	(3)
W. V. Quine
Review of Huntington 1934	387	(2)
Review of Carnap 1934	389	(2)
Review of Kalmar 1934	391	(1)
Introductory note to 1936	392	(2)
John W. Dawson, Jr.
Diskussionsbemerkung	392	(1)
Discussion remark	393	(1)
Introductory note to 1936a	394	(8)
Rohit Parikh
Uber die Lange von Beweisen	396	(1)
On the length of proofs	397	(2)
(See introductory note under Godel 1932k.)
Review of Church 1935	399	(3)
Textual notes	402	(5)
References	407	(54)
Index	461