Kurt Gödel: Collected Works: Volume VOUP Oxford, 2013 - 692 Seiten 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 V, published for the first time in paperback, includes H to Z as well as a full inventory of Gödel's Nachlass, while Volume IV covers A to G. 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. |
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 |
645 | |
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
Abraham Robinson AMs Notebook AMSS Angoff Arend Heyting arithmetic autograph corrections axiom of choice Bernays best wishes besten Grüssen Beweis Box Folder cardinal Carnap concept consistency proof continuum hypothesis copy correspondence Date(s Dawson Dear Professor Gödel discussion Dreben Einstein English translation Ernest Nagel essay finite finitist footnote formula functions Gabelsberger shorthand German habe Hao Wang Herbrand Hilbert incompleteness theorem Initial document frame Initial Reel Initial Institute for Advanced introductory note intuitionism intuitionistic Jean van Heijenoort Karl Menger Kurt Gödel labelled lectures Lieber Herr Gödel Logik manuscript Math mathematics Mathematik metamathematics möchte Neumann paper philosophy Princeton problem proposition provable published question recursive Reel Initial document remarks reply reprinted revised Robinson Russell Schilpp set theory sincerely Skolem Solomon Feferman Tarski Thank tion TLS CAH TLS IAS To/From Form Ulam undecidable University Vienna volume Wang's Warren Goldfarb Wien write wrote würde