To Mock a Mockingbird

From Wikipedia, the free encyclopedia

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic
Author Raymond Smullyan
Country United States
Language English
Publisher Knopf
Publication date 1985
Media type Print (Paperback)
Pages 256
ISBN ISBN 0-19-280142-2

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic (1985, ISBN 0-19-280142-2) is a book by the mathematician and logician Raymond Smullyan. It contains many nontrivial recreational puzzles of the sort for which Smullyan is well-known. It is also a gentle and humorous introduction to combinatory logic and the associated metamathematics, built on an elaborate ornithological metaphor.

Combinatory logic, functionally equivalent to the lambda calculus, is a branch of symbolic logic having the expressive power of set theory, and with deep connections to questions of computability and provability. Smullyan's exposition takes the form of an imaginary account of two men going into a forest and discussing the unusual "birds" (combinators) they find there. Each species of bird in Smullyan's forest stands for a particular kind of combinator appearing in the conventional treatment of combinatory logic. Each bird has a distinctive call, which it emits when it hears the call of another bird. Hence an initial call by certain "birds" gives rise to a cascading sequence of calls by a succession of birds. (Bird watching was a hobby of the inventor of combinatory logic, Haskell Curry.)

Deep inside the forest dwells the Mockingbird, which echoes back the bird calls it hears. The resulting cascade of calls and responses analogizes to abstract models of computing. With this analogy in hand, one can explore advanced topics in the mathematical theory of computability, such as Church-Turing Computability and Gödel's Theorem.

[edit] See also

[edit] External links