In these mathematical and logic puzzles, truth-telling knights battle lying knaves; a philosopher-logician named George falls in love with Oona, flighty bird-girl of the South Pacific; Inspector Craig and timid, conceited or modest reasoners match wits. Using such fictional enticements, the author of What Is the Name of This Book? and To Mock a Mockingbird steers us through the logical thickets of Kurt Godel's famous Incompleteness Theorem, which holds that mathematical systems can never prove their own consistency. Readers who make it halfway through this book will learn more symbolic logic than a college freshman stuffed with "new math." In the second half, the deeper waters of modal logic are navigated. This field, which dates back to Aristotle, impinges on current debates in computer science and artificial intelligence. Smullyan's gift is to make complex ideas both accessible and enjoyable to the persevering reader.
Copyright 1987 Reed Business Information, Inc.

Godel's incompleteness theorem is generally considered to have shown that formal number systems cannot prove their own consistency. Through a series of problems and solutions ("On the Island of Knights and Knaves, knights always make true statements and knaves always make false statements, and every inhabitant is either a knight or a knave . . . ") that are converted to symbolic logic, Smullyan progresses from an elementary to an advanced consideration of Godel's theorem. Apart from a few remarks at book's end, Smullyan makes no attempt to show what bearing Godel's results might have on more general, particularly epistemological, problems. Serious students of logic, computer theory, and artificial intelligence should find this entertaining and instructive, but it cannot be recommended for a larger audience. Leon H. Brody, U.S. Office of Personnel Management Lib., Washington,
Copyright 1987 Reed Business Information, Inc.

"About this title" may belong to another edition of this title.

Store Description

We are dedicated to providing customers with easy, flawless transactions and excellent books! We provide 100% customer satisfaction and are always here to answer any questions or concerns for our customers.

Visit Seller's Storefront

Seller's business information

Farm For Books Inc
1734 Bellaire Street, Denver, CO, 80220, U.S.A.

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 14 business days	3 to 8 business days
First item	US$ 5.50	US$ 12.75

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.