#ToMockAMockingbird | Reviews of To Mock a Mockingbird in English Books| Hashreview

#ToMockAMockingbird

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 Read More..

by Raymond Smullyan

Ratings

Likes

Reviews

HASH INFO

Review# tag	ToMockAMockingbird
Review# tag
Hash title	To Mock a Mockingbird
Hash title
Description	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 (bird watching was a hobby of one of the founders of combinatory logic, Haskell Curry). 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.Deep inside the forest dwells the Mockingbird, which imitates other birds hearing themselves. 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.
Description	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 (bird watching was a hobby of one of the founders of combinatory logic, Haskell Curry). 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.Deep inside the forest dwells the Mockingbird, which imitates other birds hearing themselves. 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.

Created By

Admin

DETAILS

Name	To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic
Name
Authors	Raymond Smullyan
Authors
Translator
Translator
Genre
Genre
Series
Series
Number in series
Number in series
Language	English
Language
Country	United States
Country

PUBLISH

Story timeline
Story timeline
Pages	256
Pages
Media_type	Print (Paperback)
Media_type
Isbn	0-19-280142-2
Isbn
Oclc	248314322
Oclc
Publisher	Knopf
Publisher

RELEASE

Pub_date	1985
Pub_date
Release_date	1985
Release_date

Writing

Style of narration

Portraying the concept

Language & literature

Castings & characters

Overall rating

MORE INFO

Ratings

No ratings yet.

Feature Ratings

No Feature ratings yet.

Popularity

Reaches

No data available now.

Ranks

This #hashtag is not ranked yet.