Godels Incompleteness Theorems

Hardcover | August 1, 1988

byRaymond M. Smullyan

not yet rated|write a review
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 theconsistency 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 suitablefor 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.

Pricing and Purchase Info

$264.00

Ships within 1-3 weeks
Ships free on orders over $25

From the Publisher

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 theconsistency of the axiom of choice and the contin...

Raymond M. Smullyan is at Indiana University, Bloomington.

other books by Raymond M. Smullyan

What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles
What Is the Name of This Book?: The Riddle of Dracula a...

Paperback|Aug 18 2011

$16.91 online$16.95list price
First-Order Logic
First-Order Logic

Paperback|Apr 14 2012

$167.95

The Chess Mysteries of Sherlock Holmes: Fifty Tantalizing Problems of Chess Detection
The Chess Mysteries of Sherlock Holmes: Fifty Tantalizi...

Paperback|Jan 17 2012

$15.70 online$16.95list price(save 7%)
see all books by Raymond M. Smullyan
Format:HardcoverDimensions:160 pages, 9.57 × 6.3 × 0.63 inPublished:August 1, 1988Publisher:Oxford University Press

The following ISBNs are associated with this title:

ISBN - 10:0195046722

ISBN - 13:9780195046724

Look for similar items by category:

Customer Reviews of Godels Incompleteness Theorems

Reviews

Extra Content

Table of Contents

1. The General Idea Behind Gdel's Proof2. Tarski's Theorem for Arithmetic3. The Incompleteness of Peano Arithmetic with Exponentation4. Arithmetic Without the Exponential5. Gdel's Proof Based on Consistency6. Rosser Systems7. Shepherdson's Representation Theorems8. Definability and Diagonalization9. The Unprovability of Consistency10. Some General Remarks on Provability and Truth11. Self-Referential Systems

Editorial Reviews

"Smullyan lives up to his aims. The book provides a highly accessible, user-friendly introduction to incompleteness. . . . the treatment is rigorous and contains material that even a professional logician can find informative and interesting. . . . Smullyan never confuses rigor with dullnessor obscurity. His writing is clear and lively . . . . I am eagerly awaiting the sequel's appearance." --Leon Harkleroad, Modern Logic