Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution — moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story.This book leads the unwary reader into deep logical waters through seductively entertaining logic puzzles. One example is Boolean algebra with such weird looking equations as 1+1=0 — a subject which today plays a vital role, not only in mathematical systems, but also in computer science and artificial intelligence.

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the au

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.

" This 'best of' collection of works by Raymond Smullyan features excerpts from his published writings, including logic puzzles, explorations of mathematical logic and paradoxes, retrograde analysis chess problems, jokes and anecdotes, and meditations on the philosophy of religion. In addition, numerous personal tributes salute this celebrated professor, author, and logic scholar who is also a magician and musician. "--

Combining stories of great writers and philosophers with quotations and riddles, this original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2014 edition.

A celebrated mathematician presents more than 200 increasingly complex problems that delve into Gödel's undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Solutions.

The author of Forever Undecided, Raymond Smullyan continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time.

"Another scintillating collection of brilliant problems and paradoxes by the most entertaining logician and set theorist who ever lived." — Martin Gardner. Inspired by the classic tale of a prisoner's dilemma, these whimsically themed challenges involve paradoxes about probability, time, and change; metapuzzles; and self-referentiality. Nineteen chapters advance in difficulty from relatively simple to highly complex.

From Simon & Schuster, This Book Needs No Title is Raymond Smullyan's budget of living paradoxes—the author of What is the Name of This Book? Including eighty paradoxes, logical labyrinths, and intriguing enigmas progress from light fables and fancies to challenging Zen exercises and a novella and probe the timeless questions of philosophy and life.