## Kurt Gödel: Collected Works: Volume III: Unpublished Essays and LecturesKurt 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Godels Gabelsberger shorthand by Cheryl A Dawson | 7 |

Introductory note to 1930c by Warren Goldfarb | 13 |

Introductory note to 1931? by Stephen C Kleene | 30 |

Introductory note to 1933o by Solomon Feferman | 36 |

The present situation in the foundations of mathematics | 45 |

Introductory note to 1933f by Israel Halperin | 54 |

Introductory note to 1938a by Wilfried Sieg | 62 |

Vortrag bei Zilsel | 86 |

Lecture on rotating universes | 269 |

Introductory note to 1951 by George Boolos | 290 |

Some basic theorems on the foundations of mathematics | 304 |

Introductory note to 19539 by Warren Goldfarb | 324 |

Is mathematics syntax of language? | 334 |

Introductory note to 1961? by Dagfinn F0llesdal | 364 |

The modern development of the foundations of mathematics | 374 |

Introductory note to 1970 by Robert M Adams | 388 |

Introductory note to 1939b and 1940a | 114 |

Introductory note to 193? by Martin Davis | 156 |

See introductory note under Godel 1939b | 175 |

Introductory note to 1941 by A S Troelstra | 186 |

Introductory note to 19469 by Howard Stein | 202 |

Some observations about the relationship between | 230 |

Introductory note to 1949b by David B Malament | 261 |

Introductory note to 1970a 1970b and 1970c | 405 |

Some considerations leading to the probable conclusion | 420 |

Excerpt from 19469A | 426 |

Textual notes | 439 |

References | 479 |

Addenda and corrigenda to Volumes I and II | 517 |

### Other editions - View all

Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures Kurt Gödel No preview available - 2001 |

### Common terms and phrases

according actually appears applied argument arithmetic assertion assumed axioms called complete concepts concerning consequence consider consistency constructible contains corresponding course defined definition derived direction discussion eine elements empirical equation equivalent evidently example existence expression fact finite follows footnote formal formula functions give given Godel holds imply induction inference integers interpretation intuition intuitionistic logic Kant laws least lecture logic manuscript mathematics matter means methods namely natural necessary notion objects observer obtained occur original particular philosophy physical positive possible present problem procedure proof properties proposition proved quantifiers question reason recursive refer relation relativity theory remark replaced requirement respect result rules satisfied seems sense sentence sequence space statement symbols syntactical theorem theory things tion translation true truth universal variables volume