Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Couverture
OUP USA, 22 mai 1986 - 490 pages
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. L 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.
 

Avis des internautes - Rédiger un commentaire

LibraryThing Review

Avis d'utilisateur  - cpg - LibraryThing

The Horror! I thought I should post a brief note to prevent other potential buyers from being misled by the editorial reviews the way I was. _Choice_ says that the editors "deserve the highest praise ... Consulter l'avis complet

Table des matières

Gödels life and work by Solomon Feferman
1
A Gödel chronology by John W Dawson Jr
37
Introductory note to 1929 19S0 and 1980a
44
See introductory note under Gödel 1929
102
See introductory note under Gödel 1929
124
See introductory note under Gödel 1930b
144
Introductory note to 1931a 1932e and
196
Review of Neder 1931
205
Review of Dingier 1931
265
Introductory note to 1933b c d g and
272
See introductory note under Godel 1933b
278
Introductory note to 19S3f by A S Troelstra
296
See introductory note under Godel 1933b
302
Review of Kaczmarz 1932
327
Review of Hahn 1932
333
On undecidable propositions of formal mathematical systems
346

Review of Betsch 1926
215
Review of von Juhos 1980
219
Introductory note to 1982a 19S3i and
226
See introductory note under Gödel 1980b
234
Review of Skolem 1931
241
See introductory note under Gödel 1981a
247
Review of Hoensbroech 1981
253
Review of Kalmar 1932
259
Review of Skolem 1933
373
Introductory note to 1984c and 1985
376
Review of Notcutt 1934
383
Review of Carnap 1934
389
See introductory note under Godel 1932k
399
References
407
Index
461
Droits d'auteur

Autres éditions - Tout afficher

Expressions et termes fréquents

À propos de l'auteur (1986)

Solomon Feferman is at Stanford University. John W. Dawson is at Pennsylvania State University. Stephen Kleene is Professor Emeritus at the University of Wisconsin.

Informations bibliographiques