This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus and discusses modern theories, including set theory, the continuum hypothesis, and other ideas. 1972 edition.
| ||||||||||||||||||
Book Description
Special Offers and Product Promotions
- This item is eligible for our 4-for-3 promotion. Eligible products include select Books and Home & Garden items. Buy any 4 eligible items and get the lowest-priced item free. Here's how (restrictions apply)
Frequently Bought Together
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
37 of 37 people found the following review helpful:
5.0 out of 5 stars
Six Rigorous Lectures - Not for the Faint-Hearted,
By
This review is from: What is Mathematical Logic? (Paperback)
Although this book - What is Mathematical Logic? - is written in an informal and entertaining style, it is unlikely to appeal to a reader not familiar with predicate calculus, recursive functions, and set theory. Despite its innocuous title, this little book is surprisingly rigorous. The six chapters are derived from a series of lectures given by the five authors - J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell, and N. H. Williams - at Monash University and University of Melbourne in 1971. The lectures were substantially revised for publication. Only the first chapter, a detailed historical survey of mathematical logic, can be readily appreciated by the non-mathematician. The remaining five chapters examine advanced topics in mathematical logic including the Godel-Henkin Completeness Theorem, Model Theory, Turing machines and recursive functions, Godel's Incompleteness Theorem, and advanced set theory. Chapter 2 introduces the Godel-Henkin Completeness Theorem, a proof that predicate calculus is complete. Chapter 2 is not easy, but it is essential to acquire a reasonable familiarity with predicate calculus before moving forward. Chapter 3 offers a detailed look at model theory, the study of relations between formal languages and the interpretation of formal languages. Topics include Predicate Calculus with Identity, the Compactness Theorem, and the Lowenheim-Skolem Theorems. I had substantial difficulty with the details, but I did gain a general understanding and appreciation for model theory. Chapter 4 addressed in considerable detail a more familiar topic, Turing machines and recursive functions. The discussion concludes with a key proof: there is no algorithm which will enable us to decide, given any particular formula of predicate calculus, whether or not this particular formula is deducible from the axioms of predicate calculus. Chapter 5 was a detailed examination of Godel's Incompleteness Theorem for formal systems that include arithmetic of the natural numbers. I had less difficulty with this topic as I had previously read Godel's Proof by E. Nagel and J. R. Newman. This chapter would very likely be tough going for a reader entirely new to Godel's exceeding complex and abstruse proof. Chapter 6, titled Set Theory, might be better named Advanced Set Theory. I was entirely new to the Axiom of Choice and the Generalized Continuum Hypothesis. I highly recommend this intriguing and lively look at mathematical logic to readers with some familiarity with this rather formidable subject. For readers new to mathematical logic, I suggest that the following books might be better starting points. Foundations and Fundamental Concepts of Mathematics by Howard Eves is outstanding. The chapter titled Logic and Philosophy is an excellent introduction to mathematical logic. The Advent of the Algorithm by David Berlinski is an eclectic, rather bizarre introduction to a complex mathematical topic. Although many reader reviewers aggressively criticize this book, I enjoyed puzzling my way through Berlinski's discursive discussions. Godel's Proof by Ernest Nagel and James R. Newman offers a fascinating look at a mind boggling, incredibly complex, inventive mathematical proof.
13 of 13 people found the following review helpful:
5.0 out of 5 stars
Dense but readable,
By Joe "nohbdy" (Gambier, OH United States) - See all my reviews
This review is from: What is Mathematical Logic? (Paperback)
After a 10-page historical survey of logic from the 1850s through the 1960s, similarly brief chapters on Completeness, Model Theory, Recursion Theory, the Incompleteness Theorems, and Set Theory give an idea of what might be covered in an undergraduate course and the first several graduate courses in mathematical logic. (The last 5 pages of the book are an introduction to forcing arguments and a fairly detailed sketch of the consistency of not-GCH.)Results are clearly and carefully stated; and while sketches of proofs have a hard time staying nontechnical and still meaningful, most such attempts are admirable. A marvel of brevity while not watering anything down.
13 of 14 people found the following review helpful:
4.0 out of 5 stars
No-nonsense survey of logic,
This review is from: What is Mathematical Logic? (Paperback)
This is an introduction to the main ideas and results of mathematical logic. It is primarily a text for non-logicians but it is still very serious. Practically everything is proved, and the proofs are carefully crafted and not too technical. For a reader with a bit of mathematical background this is far more valuable than the more typical logic-for-casual-readers books, such as for instance "Gödel's Proof" by Nagel & Newman, which are too chatty and trivial and don't really prove anything. By contrast, a high point of this book is a very accessible treatment of the proof of Gödel's incompleteness theorem in a matter of a few pages. On the other hand, this book is perhaps not chatty enough: the clear proofs and discussions of the main results are nicely done, but the discussions of historical background, motivation and context are very sketchy.
Share your thoughts with other customers: Create your own review
|
|
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
