Raymond M. Smullyan

Simple puzzles as well as more complex mysteries of logic and meaning are offered by such interesting characters as Dracula and various zombies, werewolves, knights and knaves

The Riddle of Dracula and Other Logical Puzzles

What is the Name of this Book?

In this entertaining and challenging collection of logic puzzles, Raymond Smullyan - author of Forever Undecided - 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. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell thetruth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle in which Inspector Craig of Scotland Yard gets involved in a search for the Fountain of Youth on the Island of Knights and Knaves. In the second part of To Mock a Mockingbird, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and - thanks to Godel's famous theorem - the final revelation.

And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic

To Mock a Mockingbird

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 passive serenity is kind of dull, and an anxiety-ridden awareness is not very appealing." This is more than a book on Chinese philosophy. It is a series of ideas inspired by Taoism that treats a wide variety of subjects about life in general. Smullyan sees the Taoist as "one who is not so much in search of something he hasn't, but who is enjoying what he has." Readers will be charmed and inspired by this witty, sophisticated, yet deeply religious author, whether he is discussing gardening, dogs, the art of napping, or computers who dream that they're human.

The Tao Is Silent

Greer Fitting

A range of puzzles dealing with word play and logic, mathematics and philosophy, featuring Alice and the creatures of Wonderland.

A Carrollian Tale for Children Under Eighty

Alice in Puzzle-land

A series of logic problems and puzzles relating important mathematical and logical concepts, includes paradoxes, metapuzzles, number exercises, and a mathematical novel

Including a Mathematical Novel that Features Gödel's Great Discovery

The Lady Or the Tiger? and Other Logic Puzzles

5000 B.C. and Other Philosophical Fantasies

An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice.

Gödel's Incompleteness Theorems

Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. Dover (2014) original publication. See every Dover book in print at www.doverpublications.com

A Beginner's Guide to Mathematical Logic

What Is the Name of This Book?

And Other Amazing Puzzles

The Riddle of Scheherazade

Here -- from philosopher/logician/puzzlemaker Raymond Smullyan -- are fifty elegant, witty, and altogether unique "chess mysteries." In each problem the solver has to deduce certain events in a game's past. For example: On what square was the White queen captured? or, Is the White queen promoted or original? Since these problems involve the same sort of logical reasoning that lies at the core of the Sherlock Holmes stories, Raymond Smullyan has aptly set each one within its own Holmes-Watson dialogue. In each case Holmes, by his remarkable powers of deduction, is able to demonstrate to his awed admirers precisely what must have happened, move by move, at the "scene of the crime" -- the chess table. For example: what the missing piece is; what square it should be on; whether or not either side can castle. In the second half, through a series of progressively more difficult (self-contained) chess problems, Holmes, with the reader's help, solves a mystery and a double murder -- perpetrated, of course, by Moriarty. And at the end of the book are ten bonus problems from Moriarty himself (four of them composed before the age of nine!). Chess Mysteries of Sherlock Holmes is Smullyan's challenging and witty romp through the royal game.

Fifty Tantalizing Problems of Chess Detection

Chess Mysteries of Sherlock Holmes

225 fiendishly clever puzzles, brain-twisters, and paradoxes from the man Martin Gardner calls the "most entertaining logician and set theorist who ever lived."

The Riddle of Scheherazade, and Other Amazing Puzzles, Ancient & Modern

Les énigmes de Shéhérazade, ou, Comment une malicieuse princesse vient à bout de 200 questions de logique et de mathématique

These 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. Written by a distinguished mathematician and creator of numerous popular puzzle books, this volume requires no background in formal logic and will delight readers of all ages.

Puzzles, Paradoxes and Proofs

The Godelian Puzzle Book

Melvin Fitting

A lucid, elegant, and complete survey of set theory, this three-part treatment explores axiomatic set theory, the consistency of the continuum hypothesis, and forcing and independence results. 1996 edition.

Set Theory and the Continuum Problem

Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.

First-order Logic

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 mathematical thinking of our time. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle (a puzzle about a puzzle), in which Inspector Craig of Scotland Yard gets involved in a search of the Fountain of Youth on the Island of Knights and Knaves. In the second and larger section, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and—thanks to Gödel’s famous theorem—the final revelation. To Mock a Mockingbird will delight all puzzle lovers—the curious neophytes as well as the serious students of logic, mathematics, or computer science.

To Mock a Mocking Bird

This fanciful, original collection for readers of all ages features arithmetic puzzles, logic problems related to crime detection, and logic and arithmetic puzzles involving King Arthur and his Dogs of the Round Table.

King Arthur in Search of His Dog and Other Curious Puzzles

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.

Raymond M. Smullyan

About

Books

Join the club