Godel's Correspondence on Proof Theory and Constructive Mathematics: KURT GODEL. Collected Works. Volume IV: Selected Correspondence A-G; Volume V: Selected Correspondence H-Z. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfried Sieg, eds. Oxford: Oxford University Press, 2002. Pp. xi + 662; xxiii + 664. ISBN 0-19-850073-4; 0-19-850075-0.
2006; Oxford University Press; Volume: 14; Issue: 1 Linguagem: Inglês
10.1093/philmat/nkj011
ISSN1744-6406
Autores Tópico(s)History and Theory of Mathematics
ResumoThe volumes of Gödel's collected papers under review consist almost entirely of a rich selection of his philosophical/scientific correspondence, including English translations face-to-face with the originals when the latter are in German. The residue consists of correspondence with editors (more amusing than of any scientific value) and five letters from Gödel to his mother, in which he explains to her his religious views. The term “selection” is strongly operative here: The editors state the total number of items of personal and scientific correspondence in Gödel's Nachlass to be around thirty-five hundred. The correspondence selected involves fifty correspondents, and the editors list the most prominent of these: Paul Bernays, William Boone, Rudolph Carnap. Paul Cohen, Burton Dreben, Jacques Herbrand, Arend Heyting, Karl Menger, Ernest Nagel, Emil Post, Abraham Robinson, Alfred Tarski, Stanislaw Ulam, John von Neumann, Hao Wang, and Ernst Zermelo. The correspondence is arranged alphabetically, with A–G in Volume IV....
Referência(s)