This book presents a systematic, unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with inst
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
Honorable knights, lying knaves, and other fanciful characters populate this unusual survey of the principles underlying the works of Georg Cantor. Created by a renowned mathematician, these engaging
"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
These logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. No
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.
"In his most critically acclaimed work, a well-known mathematician, magician, and author spins a logical labyrinth of more than 200 increasingly complex and challenging problems - puzzles that delve i
Is there really a God, and if so, what is God actually like? Is there an afterlife, and if so, is there such a thing as eternal punishment for unrepentant sinners, as many orthodox Christians and Musl
“The most entertaining logician and set theorist who ever lived” (Martin Gardner) gives us an encore to The Lady or the Tiger?-a fiendishly clever, utterly captivating new collection of 2
Eighty paradoxes, logical lobyrinths, 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
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
Much more than a book on Chinese philosophy, THE TAO IS SILENT is a series of ideas inspired by Taoism that treats a wide variety of subjects about life in general. Readers will be charmed and inspire
Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's cr
Join Holmes and Watson as they examine interrupted games to deduce prior moves. A series of increasingly complex chess mysteries culminates in a double murder perpetrated by Professor Moriarty. The ma
A lucid, elegant, and complete survey of set theory, this volume is drawn from the authors' substantial teaching experience. The first of three parts focuses on axiomatic set theory. The second part e
" 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 c
Characters from Alice's Adventures in Wonderland and Through the Looking-Glass populate these 88 intriguing puzzles. Mathematician Raymond Smullyan re-creates the spirit of Lewis Carroll's writings in