Oxford University Press (1986)
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, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century.
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$59.90 used (76% off) $192.36 new (20% off) $240.00 direct from Amazon Amazon page|
|Call number||QA9.G5313 1986|
References found in this work BETA
No references found.
Citations of this work BETA
Measuring the Size of Infinite Collections of Natural Numbers: Was Cantor's Theory of Infinite Number Inevitable?Paolo Mancosu - 2009 - Review of Symbolic Logic 2 (4):612-646.
Philosophy of Mathematics: Making a Fresh Start.Carlo Cellucci - 2013 - Studies in History and Philosophy of Science Part A 44 (1):32-42.
Rereading Tarski on Logical Consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.
On Becoming, Cosmic Time and Rotating Universes.Mauro Dorato - 2002 - Royal Institute of Philosophy Supplement 50:253-.
Similar books and articles
Principia Mathematica, to *56.Alfred North Whitehead & Bertrand Russell - 1962 - Cambridge University Press.
The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory.Kurt Gödel - 1940 - Princeton University Press;.
Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974. [REVIEW]Georg Kreisel - 1991 - Journal of Symbolic Logic 56 (3):1085-1089.
The Gödel Editorial Project: A Synopsis.Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (2):132-149.
Kurt Gdel: Collected Works: Volume Iv: Selected Correspondence, a-G.Kurt Gdel & Stanford Unviersity of Mathematics - 2003 - Clarendon Press.
Kurt Gdel: Collected Works: Volume V: Correspondence, H-Z.Kurt Gdel - 2003 - Clarendon Press.
Added to index2009-01-28
Total downloads3 ( #700,438 of 2,171,811 )
Recent downloads (6 months)1 ( #326,702 of 2,171,811 )
How can I increase my downloads?