David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (1992)
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.
|Categories||categorize this paper)|
|Buy the book||$77.44 new (68% off) $77.45 used (68% off) $212.49 direct from Amazon (12% off) Amazon page|
|Call number||QA9.65.S69 1992|
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
Joshua M. Epstein (1999). Agent-Based Computational Models and Generative Social Science. Complexity 4 (5):41-60.
Stewart Shapiro (2003). Mechanism, Truth, and Penrose's New Argument. Journal of Philosophical Logic 32 (1):19-42.
Paul Benioff (2005). Towards a Coherent Theory of Physics and Mathematics: The Theory–Experiment Connection. Foundations of Physics 35 (11):1825-1856.
Panu Raatikainen (2000). The Concept of Truth in a Finite Universe. Journal of Philosophical Logic 29 (6):617-633.
Ludwig van den Hauwe (2011). Hayek, Gödel, and the Case for Methodological Dualism. Journal of Economic Methodology 18 (4):387-407.
Similar books and articles
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Peter Smith (2013). An Introduction to Gödel's Theorems. Cambridge University Press.
Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Added to index2009-01-28
Total downloads142 ( #28,001 of 1,934,588 )
Recent downloads (6 months)2 ( #269,469 of 1,934,588 )
How can I increase my downloads?