Raymond Smullyan: 14 books

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as...

Five Thousand B.C. and Other Philosophical Fantasies by Raymond Smullyan is a collection of paradoxes, dialogues, problems, and essays exploring philosophical ideas. This fascinating book will challenge your understanding of reality, truth, morality, existence, and death. Raymond Smullyan is...

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...

This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to my Beginner's Guide to Mathematical Logic. The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and...

Puzzle-lovers of all ages will gobble up this smorgasbord of riddles, mysteries, and logic problems. The fanciful, original collection begins with arithmetic puzzles for younger readers. Advancing to logic problems related to crime detection, it culminates in logic and arithmetic puzzles involving King Arthur and his Dogs of the Round Table.

The Tao Is Silent Is Raymond Smullyan's beguiling and whimsical guide to the meaning and value of eastern philosophy to westerners. "To me," Writes Smullyan, "Taoism means a state of inner serenity combined with an intense aesthetic awareness. Neither alone is adequate; a purely...

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...

In his new book, Raymond Smullyan, grand vizier of the logic puzzle, joins Scheherazade, a charming young woman of “fantastic logical ingenuity,” to give us 1001 hours of brain-teasing fun. Scheherazade, we find, has gotten back into hot water with the king, and is once more in danger of...

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, entertaining—to Gödel’s famous theorems. With all the wit and charm that have delighted readers of his previous books, Smullyan transports...

In this entertaining and challenging new collection of logic puzzles, Raymond Smullyan—author of What Is the Name of This Book? And The Lady or the Tiger?—continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important...

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency...

These brand-new recreational logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no...

More than two hundred new and challenging logic puzzles—the simplest brainteaser to the most complex paradoxes in contemporary mathematical thinking—from our topmost puzzlemaster (“the most entertaining logician who ever lived,” Martin Gardner has called him). Our guide to the puzzles...

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