Böcker av Raymond M. Smullyan

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.