These logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provabilit
Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, ent
More than two hundred new and challenging logic puzzles—the simplest brainteaser to the most complex paradoxes in contemporary mathematical thinking—from ou
This fanciful, original collection for readers of all ages features arithmetic puzzles, logic problems related to crime detection, and logic and arithmetic puzz
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 i