Gödel's Incompleteness Theorems - Oxford Logic Guides

4.31 ( 55 Ratings by Goodreads)
Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems - Oxford Logic Guides

(Author)
4.31 (55 Ratings by Goodreads)
hardback
Published: 22 October, 1992
Standard worldwide delivery by Mon, August 3 - Thu, August 6
Order within 0
Condition: NEW
$505.15
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Raymond M. Smullyan

View All Books by Raymond M. Smullyan
A Beginner’s Guide to Mathematical Logic
A Beginner’s Guide to Mathematical Logic
Raymond M. Smullyan
$24.73 $28.07
New
Add to basket
The Gödelian Puzzle Book
The Gödelian Puzzle Book
Raymond M. Smullyan
$18.40
New
Add to basket
Forever Undecided
Forever Undecided
Raymond M. Smullyan
$14.42
Used
Add to basket
First-Order Logic
First-Order Logic
Raymond M. Smullyan
$14.52
New
Add to basket
The Mathematics of Various Entertaining Subjects
The Mathematics of Various Entertaining Subjects
Raymond M. Smullyan
$59.38 $60.18
New
Add to basket
Theory of Formal Systems
Theory of Formal Systems
Raymond M. Smullyan
$90.14 $100.30
New
Add to basket
The Riddle of Scheherazade
The Riddle of Scheherazade
Raymond M. Smullyan
$23.76
New
Add to basket
Recursion Theory for Metamathematics
Recursion Theory for Metamathematics
Raymond M. Smullyan
$319.34
New
Add to basket
The Chess Mysteries of Sherlock Holmes
The Chess Mysteries of Sherlock Holmes
Raymond M. Smullyan
$18.58
Used
Add to basket
Alice in Puzzle-Land
Alice in Puzzle-Land
Raymond M. Smullyan
$17.06
New
Add to basket

Description

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.
See more

More Details

Type Book
ISBN13 9780195046724
ISBN10 0195046722
Number Of Pages 160
Item Weight 435 g
Product Dimensions 162 x 243 x 18 mm
Publisher / Reseller Oxford University Press Inc
Format hardback
See More +

Media Reviews

'rigorously developed, yet pedagogically sensitive; carefully structured, yet elegantly presented ... fine introductions to areas that are of central importance to contemporary classical logic and foundations of mathematics Gödel's incompleteness theorems, is noteworthy for its unusually straight-forward presentations of some of the most intellectually rewarding results proved this century' A.D. Irvine, University of British Columbia, History and Philosophy of Logic, 15 (1994)
This is a clearly written, brisk book. Advanced students will find it both a useful text and a valuable reference. It is a very complete account of the various proofs of the Gödel theorems and as such is a valuable contribution to the literature. * A.M. Coyne, Zbl. Math. 787 *

Show more

GoodReads Reviews