Bøker av Raymond M. Smullyan

These logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. No background in formal logic necessary.

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

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.

This book contains 50 elegant, witty chess problems concerned with deducing events in a game's past. Holmes instructs Watson in the intricacies of retrograde analysis, leading to increasingly difficult self-contained mysteries.