Kurt Gödel: Collected Works: Volume V: Correspondence, H-Z, Band 5

Cover
Clarendon Press, 09.01.2014 - 692 Seiten
0 Rezensionen
Rezensionen werden nicht überprüft, Google sucht jedoch gezielt nach gefälschten Inhalten und entfernt diese
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works 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 computability 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 Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.
 

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Inhalt

Introductory note by Akihiro Kanamori
1
Introductory note by Wilfried Sieg
3
Introductory note by Charles Parsons
27
See the introductory note to the correspondence with Hao Wang
77
Introductory note by John W Dawson Jr
79
Introductory note by John W Dawson Jr
83
Introductory note by Charles Parsons and Wilfried Sieg
135
Introductory note by Solomon Feferman
155
Introductory note by David B Malament
247
Introductory note by Jens Erik Fenstad
255
Introductory note by Solomon Feferman
258
Introductory note by Solomon Feferman
261
Introductory note by John W Dawson Jr
274
Introductory note by Akihiro Kanamori
281
Introductory note by Warren Goldfarb
301
Introductory note by Wilfried Sieg
327

Introductory note by Øystein Linnebo and Charles Parsons
157
Introductory note by John W Dawson Jr
161
Introductory note by Warren Goldfarb
163
Introductory note by Wilfried Sieg
165
Introductory note by John W Dawson Jr
175
Introductory note by Charles Parsons
179
Introductory note by Solomon Feferman
185
Introductory note by Moshé Machover
191
Introductory note by Warren Goldfarb
207
Introductory note by Warren Goldfarb
209
Introductory note by Warren Goldfarb
213
Introductory note by Charles Parsons
379
Introductory note by John W Dawson Jr
419
Calendars of correspondence
433
Individual calendars of correspondence
447
Kurt Godel Papers
469
Letters by others written on Gödels behalf
565
1974a Alternate version of Remark 3 of 1972a
575
Textual notes
577
References
579
Index
645
Urheberrecht

Andere Ausgaben - Alle anzeigen

Häufige Begriffe und Wortgruppen

Über den Autor (2014)

Solomon Feferman is Professor of Mathematics and Philosophy at Stanford UniversityJohn W. Dawson Jr is Professor of Mathematics at Penn State York UniversityWarren Goldfarb is Walter Beverly Pearson Professor of Modern Mathematics and Mathematical Logic at Harvard UniversityCharles Parsons is Edgar Pierce Emeritus Professor of Philosophy at Harvard UniversityWilfried Sieg is Patrick Suppes Professor of Philosophy at Carnegie Mellon Unviersity

Bibliografische Informationen