Kurt Godel was the most outstanding logician of the twentieth century, famous for his work 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
Collected works. Publications 1929-1936 Volume 1
✍ Scribed by Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
- Book ID
- 127453934
- Publisher
- Clarendon Press; Oxford University Press
- Year
- 1986
- Tongue
- English
- Weight
- 4 MB
- Category
- Library
- City
- Oxford [Oxfordshire] :, New York
- ISBN-13
- 9780198500759
No coin nor oath required. For personal study only.
✦ Synopsis
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents and placing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians.
📜 SIMILAR VOLUMES