To Mock a Mockingbird by Raymond M. Smullyan  (4)
|
The Riddle of Scheherazade: And Other Amazing Puzzles by Raymond Smullyan  (9)
|
The Tao Is Silent by Raymond M. Smullyan  (23)
$11.20
|
This Book Needs No Title: A Budget of Living Paradoxes (Touchstone Books) by Raymond Smullyan (4)
$13.46
|
First-Order Logic by Raymond M. Smullyan (8)
$9.95
|
This item is not eligible for Amazon Prime, but millions of other items are. Join Amazon Prime today. Already a member? Sign in.
|
|||||||||||||
Customers Who Bought This Item Also Bought
Editorial Reviews
From Publishers Weekly
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. --This text refers to an out of print or unavailable edition of this title.
From Library Journal
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. --This text refers to an out of print or unavailable edition of this title.
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. --This text refers to an out of print or unavailable edition of this title.
From Library Journal
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. --This text refers to an out of print or unavailable edition of this title.
Product Details
Would you like to update product info or give feedback on images?
|
Citations
(learn more)
25
books
cite this book:
See all 25 books citing this book
- Narration and Description in the French Realist Novel: The Temporality of Lying and Forgetting (Cambridge Studies in French) by James H. Reid in Back Matter (1), and Back Matter (2)
- In the Light of Logic (Logic and Computation in Philosophy) by Solomon Feferman on page 24, and Back Matter
- Discrete Mathematics Using a Computer by Cordelia Hall on page 85, and Back Matter
- Die Wahrheit uber den Lugner: Eine philosophisch-logische Analyse der Antinomie des Lugners (Foundations of communication and cognition) by Elke Brendel in Back Matter
- Mathematics and the Image of Reason (Philosophical Issues in Science) by Mary Tiles in Back Matter
See all 25 books citing this book