Oxford University Press (1992)
|Abstract||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.|
|Buy the book||$45.43 used (79% off) $55.40 new (74% off) $156.94 direct from Amazon (26% off) Amazon page|
|Call number||QA9.65.S69 1992|
|Through your library||Configure|
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 (2007). 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 downloads68 ( #12,983 of 551,054 )
Recent downloads (6 months)4 ( #19,303 of 551,054 )
How can I increase my downloads?