- Hardcover: 218 pages
- Publisher: A K Peters/CRC Press (Jun 15 1995)
- Language: English
- ISBN-10: 1568810296
- ISBN-13: 978-1568810294
- Product Dimensions: 23.9 x 16 x 2 cm
- Shipping Weight: 499 g
- See Complete Table of Contents
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
| |||||||||||||||
Product Details |
Product Description
Book Description
This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest everyone from mathematicians to philosophers and general readers who wish to understand the foundations and limitations of modern mathematics.
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Reviews
|
There are no customer reviews yet on Amazon.ca
|
||||||||||||||||||||
|
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:
2.8 out of 5 stars (4 customer reviews)
14 of 14 people found the following review helpful
4.0 out of 5 stars
A good simplification for teaching, Oct 2 2000
By Colin McLarty - Published on Amazon.com
This review is from: The Incompleteness Phenomenon (Paperback)
This is an interesting simplification of Goedel's first incompleteness theorem. The book assumes there is a standard model of the Peano axioms, so that in effect it assumes the axioms consistent and even true. Then it shows nonetheless the axioms cannot decide every sentence. This brings out the main point of incompleteness, I think. But it is far weaker than Goedel's proof in two ways: it uses stronger assumptions, and it proves incompleteness only for the standard Peano axioms. There is a brief discussion of how this kind of proof would work for any consistent extension of the Peano axioms but I did not find it very helpful to my class. Of course the assumptions pay off in a very much quicker proof and much less concern with syntax. In fact, the main problem with the book is that the assumptions are never made quite clear. The authors say several times that their result is weaker than Goedel's, but never say why. A discussion of this somewhere in the book would be helpful--both to students and profs. Presumably they do not use the full strength of a standard model of the Peano axioms, but it would be a chore to go through and see just what they do use.
I taught this book as a one semester course for students who had previously seen predicate logic in an intro course. To fit it into a semester I skipped the chapter on model theory (not needed for the incompleteness theorem) and the material at the end on recursive functions. The book gives a very pretty account of induction, stressing from the start that the natural numbers are just one case of an inductive structure. This made later inductions on, say, well-formed formulas, very clear to the class. The students got the compactness theorem very easily, as they had not in other class I've taught from other books. The short account of non-standard models for arithmetic is helpful in showing that Goedel's theorem is *not* about whether the Peano axioms say all there is to know about arithmetic--the fairly simple compactness theorem already shows no first order theory can do that. I expect to use this book again the next time I teach the subject.
5 of 8 people found the following review helpful
2.0 out of 5 stars
Nope, didn't like it., Sep 19 2003
By Jason T - Published on Amazon.com
This review is from: The Incompleteness Phenomenon (Hardcover)
This book is an introduction to mathematical logic, covering the syntax and semantics of propositional and first-order logic, the Hilbert-style proof system and its completeness, some model-theoretic material, and Godel's (first) incompleteness theorem. Its more formal and rigorous than most introductory books, which is the style I prefer, but I was left feeling unsatisfied with the book. It was hard to nail down exactly what I didn't like about it, but what I came up with is this: although the theorems and proofs are ok, considered one at a time, the overall perspective of what's going on and how things relate to each other was left hazy. Perhaps better exposition and historical background would correct this, but I found the book unsuitable for self-study for a beginner. This was where I first learned Godel's incompleteness theorem, and even though the version presented is particularly weak (Peano arithmetic is incomplete), I was left confused about the significance of the theorem and exactly what assumptions were used in the course of the proof. I see now that their attempt at simplification is what led to my misunderstandings. If you're looking for a good general mathematical logic book, I seriously recommend you get Enderton instead (see my reviews). If you want a book focused on the incompleteness theorems get Smullyan's excellent GIT.
1 of 3 people found the following review helpful
3.0 out of 5 stars
Corrected second printing exists, Sep 20 2007
By Dana Roth "dzrlib" - Published on Amazon.com
This review is from: The Incompleteness Phenomenon (Paperback)
In the words of a faculty member "this first printing is so riddled with typos and grave mathematical errors that you would have to include a multi-page errata sheet with it to make it usable." There is no indication in any listing for the book that a corrected printing exists. We called the publisher to insure we were getting the second printing, but at least one patron lamented that they had purchased a copy online and ended up with the first printing. The only indication of changes in the 2nd printing is a single sentence on page xiii thanking the faculty member for submitting corrections over the first printing. PAMNET@listserv.nd.edu 9/20/07
Listmania!
Look for similar items by category
Look for similar items by subject
Feedback
Would you like to update product info or give feedback on images?
|
