David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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||$70.22 used (71% off) $108.92 new (55% off) $212.49 direct from Amazon (12% off) Amazon page|
|Call number||QA9.G5313 1986|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Paolo Mancosu (2009). Measuring the Size of Infinite Collections of Natural Numbers: Was Cantor's Theory of Infinite Number Inevitable? Review of Symbolic Logic 2 (4):612-646.
Carlo Cellucci (2013). Philosophy of Mathematics: Making a Fresh Start. Studies in History and Philosophy of Science 44 (1):32-42.
Mario Gómez-Torrente (2009). Rereading Tarski on Logical Consequence. Review of Symbolic Logic 2 (2):249-297.
Mauro Dorato (2002). On Becoming, Cosmic Time and Rotating Universes. Royal Institute of Philosophy Supplement 50:253-.
Ulrich Kohlenbach (2008). Gödel's Functional Interpretation and its Use in Current Mathematics. Dialectica 62 (2):223–267.
Similar books and articles
F. H. Bradley (1999). Collected Works of F.H. Bradley. Thoemmes Press.
Kurt Gdel & Stanford Unviersity of Mathematics (2003). Kurt Gdel: Collected Works: Volume Iv: Selected Correspondence, a-G. Clarendon Press.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Solomon Feferman (2005). The Gödel Editorial Project: A Synopsis. Bulletin of Symbolic Logic 11 (2):132-149.
Georg Kreisel (1991). 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] Journal of Symbolic Logic 56 (3):1085-1089.
Kurt Gödel (1940). The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Princeton University Press;.
Alfred North Whitehead & Bertrand Russell (1962/1997). Principia Mathematica, to *56. Cambridge University Press.
Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #749,883 of 1,790,408 )
Recent downloads (6 months)1 ( #431,678 of 1,790,408 )
How can I increase my downloads?