Kurt Gödel: Collected Works: Volume I: Publications 1929-1936Kurt 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
Les avis ne sont pas validés, mais Google recherche et supprime les faux contenus lorsqu'ils sont identifiés
LibraryThing Review
Avis d'utilisateur - cpg - LibraryThingThe 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 |
461 | |
Expressions et termes fréquents
according addition applied argument arithmetic axiom system axioms Begriffe Bernays beweisbar calculus called completeness consistency constructed contains corresponding daß defined definition discussion domain eine elements equivalent erfüllbar example existence expression extended fact Fall finite folgt formal system formula functions Funktionen für further gibt gilt given Godel hence Hilbert holds incompleteness independence individuals inference interpretation journal lecture logic mathematics Mathematik means method natural numbers natürliche notion obtained occur operations original particular philosophy predicate present primitive problem proof propositional provable proved quantifiers question recursive relation remarks replaced represents reprinted respect restricted Review rules satisfiable Satz Sätze sense sequence set theory Skolem statement substitution symbols theorem theory tion translation true undecidable universal values variables volume Zahlen