David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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.00 used (69% off) $157.77 new (30% off) $213.75 direct from Amazon (5% 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.
Valeria Giardino (2010). Intuition and Visualization in Mathematical Problem Solving. Topoi 29 (1):29-39.
Andrew Arana (2010). Proof Theory in Philosophy of Mathematics. Philosophy Compass 5 (4):336-347.
Mihai Ganea (2010). Two (or Three) Notions of Finitism. Review of Symbolic Logic 3 (1):119-144.
Similar books and articles
F. H. Bradley (1999). Collected Works of F.H. Bradley. Thoemmes Press.
Alfred North Whitehead & Bertrand Russell (1962/1997). Principia Mathematica, to *56. Cambridge University Press.
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;.
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.
Solomon Feferman (2005). The Gödel Editorial Project: A Synopsis. Bulletin of Symbolic Logic 11 (2):132-149.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Kurt Gdel & Stanford Unviersity of Mathematics (2003). Kurt Gdel: Collected Works: Volume Iv: Selected Correspondence, a-G. Clarendon 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
Recent downloads (6 months)0
How can I increase my downloads?