Collected Works Volume IV: Correspondence, A-G

by Gödel, Kurt; Feferman, Solomon; Dawson, John W.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfred

• ISBN13: 9780198500735
• ISBN10: 0198500734
• Format: Hardcover
• Copyright: 2003-06-05
• Publisher: Clarendon Press

Summary

Kurt Godel was one of the most outstanding logicians of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory, permitting time travel into the past. The book is the fourth part of a five volume set, which is the first to make available all of Godel's writings in one place. The collected Works of Kurt Godel is designed to be useful and accessible to a wide audience without sacrificing scientific or historical accuracy.

Table of Contents

List of illustrations	xiii
(See the introductory note to the correspondence with Ernest Nagel in volume V.)
Allan Angoff
Correspondence with Allan Angoff	1	(8)
Introductory note by John W. Dawson, Jr.	9	(4)
Yossef Balas
Letter to Yossef Balas	9	(4)
Introductory note by Charles Parsons	13	(28)
Heinrich Behmann
Correspondence with Heinrich Behmann	18	(23)
Introductory note by Solomon Feferman	41	(274)
Paul Bernays
Correspondence with Paul Bernays	78	(237)
Introductory note by Warren Goldfarb	315	(4)
Kenneth Blackwell
Correspondence with Kenneth Blackwell	316	(3)
Introductory note by Warren Goldfarb	319	(6)
Herbert G. Bohnert
Correspondence with Herbert G. Bohnert	321	(4)
Introductory note by Warren Goldfarb	325	(4)
William Boone
Correspondence with William Boone	327	(2)
Introductory note by John W. Dawson, Jr.	329	(2)
Georg Brutian
Letter to Georg Brutian	330	(1)
Introductory note by Wilfried Sieg	331	(4)
J. Richard Buchi
Correspondence with J. Richard Buchi	333	(2)
Introductory note by Warren Goldfarb	335	(26)
Rudolf Carnap
Correspondence with Rudolf Carnap	342	(19)
Introductory note by Charles Parsons	361	(14)
Alonzo Church
Correspondence with Alonzo Church	366	(9)
Introductory note by Solomon Feferman	375	(14)
Paul J. Cohen
Correspondence with Paul Cohen	382	(7)
Introductory note by Warren Goldfarb	389	(8)
Burton Dreben
Correspondence with Burton Dreben	391	(6)
Introductory note by David B. Malament	397	(8)
Herbert Feigl
Letter to Herbert Feigl	398	(7)
Introductory note by John W. Dawson, Jr.	405	(16)
Paul Finsler
Correspondence with Paul Finsler	406	(11)
(See the introductory note to the correspondence with Ernest Nagel in volume V.)
Wilson Follett
Correspondence with Wilson Follett	417	(4)
Introductory note by Warren Goldfarb	421	(4)
Leonard Goddard
Correspondence with Leonard Goddard	421	(4)
Introductory note by John W. Dawson, Jr.	425	(16)
Marianne Godel
Correspondence with Marianne Godel	426	(15)
Introductory note by John W. Dawson, Jr.	441	(10)
Burke D. Grandjean
Correspondence with Burke D. Grandjean	442	(9)
Introductory note by Michael Beeson	451	(6)
Marvin Jay Greenberg
Correspondence with Marvin Jay Greenberg	453	(4)
Introductory note by Charles Parsons	457	(80)
Gotthard Gunther
Correspondence with Gotthard Gunther	476	(61)
Calendars of correspondence:	537	(28)
Correspondence included in these volumes	538	(13)
Individual calendars of correspondence:
Heinrich Behmann	551	(1)
Paul Bernays	552	(5)
William Boone	557	(2)
Rudolf Carnap	559	(1)
Alonzo Church	560	(1)
Paul Cohen	561	(2)
Gotthard Gunther	563	(2)
Textual notes	565	(4)
References	569	(66)
Addenda and corrigenda to volumes I-III	635	(8)
Index	643