Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/To_Mock_a_Mockingbird> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- To_Mock_a_Mockingbird abstract "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 the inventor 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.".
- To_Mock_a_Mockingbird author Raymond_Smullyan.
- To_Mock_a_Mockingbird isbn "0-19-280142-2".
- To_Mock_a_Mockingbird mediaType Paperback.
- To_Mock_a_Mockingbird numberOfPages "256".
- To_Mock_a_Mockingbird oclc "248314322".
- To_Mock_a_Mockingbird publisher Alfred_A._Knopf.
- To_Mock_a_Mockingbird wikiPageExternalLink index.htm.
- To_Mock_a_Mockingbird wikiPageExternalLink birds.html.
- To_Mock_a_Mockingbird wikiPageID "5275678".
- To_Mock_a_Mockingbird wikiPageLength "2977".
- To_Mock_a_Mockingbird wikiPageOutDegree "31".
- To_Mock_a_Mockingbird wikiPageRevisionID "672194614".
- To_Mock_a_Mockingbird wikiPageWikiLink Alfred_A._Knopf.
- To_Mock_a_Mockingbird wikiPageWikiLink B,C,K,W_system.
- To_Mock_a_Mockingbird wikiPageWikiLink Brain_teaser.
- To_Mock_a_Mockingbird wikiPageWikiLink Category:1985_books.
- To_Mock_a_Mockingbird wikiPageWikiLink Category:Alfred_A._Knopf_books.
- To_Mock_a_Mockingbird wikiPageWikiLink Category:Combinatory_logic.
- To_Mock_a_Mockingbird wikiPageWikiLink Category:Puzzle_books.
- To_Mock_a_Mockingbird wikiPageWikiLink Church–Turing_thesis.
- To_Mock_a_Mockingbird wikiPageWikiLink Combinator.
- To_Mock_a_Mockingbird wikiPageWikiLink Combinatory_logic.
- To_Mock_a_Mockingbird wikiPageWikiLink Computability_theory.
- To_Mock_a_Mockingbird wikiPageWikiLink Computability_theory_(computation).
- To_Mock_a_Mockingbird wikiPageWikiLink Fixed-point_combinator.
- To_Mock_a_Mockingbird wikiPageWikiLink Fixed_point_combinator.
- To_Mock_a_Mockingbird wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- To_Mock_a_Mockingbird wikiPageWikiLink Haskell_Curry.
- To_Mock_a_Mockingbird wikiPageWikiLink Lambda_calculus.
- To_Mock_a_Mockingbird wikiPageWikiLink Logic.
- To_Mock_a_Mockingbird wikiPageWikiLink Logic_puzzle.
- To_Mock_a_Mockingbird wikiPageWikiLink Logician.
- To_Mock_a_Mockingbird wikiPageWikiLink Mathematician.
- To_Mock_a_Mockingbird wikiPageWikiLink Metamathematics.
- To_Mock_a_Mockingbird wikiPageWikiLink Metaphor.
- To_Mock_a_Mockingbird wikiPageWikiLink Ornithological.
- To_Mock_a_Mockingbird wikiPageWikiLink Ornithology.
- To_Mock_a_Mockingbird wikiPageWikiLink Paperback.
- To_Mock_a_Mockingbird wikiPageWikiLink Paradox.
- To_Mock_a_Mockingbird wikiPageWikiLink Provability_logic.
- To_Mock_a_Mockingbird wikiPageWikiLink Raymond_Smullyan.
- To_Mock_a_Mockingbird wikiPageWikiLink SKI_combinator_calculus.
- To_Mock_a_Mockingbird wikiPageWikiLink Set_theory.
- To_Mock_a_Mockingbird wikiPageWikiLink Symbolic_logic.
- To_Mock_a_Mockingbird wikiPageWikiLinkText "To Mock a Mockingbird".
- To_Mock_a_Mockingbird author Raymond_Smullyan.
- To_Mock_a_Mockingbird country "United States".
- To_Mock_a_Mockingbird hasPhotoCollection To_Mock_a_Mockingbird.
- To_Mock_a_Mockingbird isbn "0".
- To_Mock_a_Mockingbird language "English".
- To_Mock_a_Mockingbird mediaType "Print".
- To_Mock_a_Mockingbird name "To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic".
- To_Mock_a_Mockingbird oclc "248314322".
- To_Mock_a_Mockingbird pages "256".
- To_Mock_a_Mockingbird publisher Alfred_A._Knopf.
- To_Mock_a_Mockingbird releaseDate "1985".
- To_Mock_a_Mockingbird wikiPageUsesTemplate Template:Distinguish.
- To_Mock_a_Mockingbird wikiPageUsesTemplate Template:Infobox_book.
- To_Mock_a_Mockingbird subject Category:1985_books.
- To_Mock_a_Mockingbird subject Category:Alfred_A._Knopf_books.
- To_Mock_a_Mockingbird subject Category:Combinatory_logic.
- To_Mock_a_Mockingbird subject Category:Puzzle_books.
- To_Mock_a_Mockingbird hypernym Book.
- To_Mock_a_Mockingbird type Book.
- To_Mock_a_Mockingbird type Model.
- To_Mock_a_Mockingbird type Work.
- To_Mock_a_Mockingbird type WrittenWork.
- To_Mock_a_Mockingbird type Book.
- To_Mock_a_Mockingbird type Model.
- To_Mock_a_Mockingbird type Work.
- To_Mock_a_Mockingbird type Book.
- To_Mock_a_Mockingbird type Book.
- To_Mock_a_Mockingbird type CreativeWork.
- To_Mock_a_Mockingbird type Thing.
- To_Mock_a_Mockingbird type Q386724.
- To_Mock_a_Mockingbird type Q571.
- To_Mock_a_Mockingbird comment "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.".
- To_Mock_a_Mockingbird label "To Mock a Mockingbird".
- To_Mock_a_Mockingbird differentFrom To_Kill_a_Mockingbird.
- To_Mock_a_Mockingbird sameAs m.0dc23n.
- To_Mock_a_Mockingbird sameAs Q17025821.
- To_Mock_a_Mockingbird sameAs Q17025821.
- To_Mock_a_Mockingbird wasDerivedFrom To_Mock_a_Mockingbird?oldid=672194614.
- To_Mock_a_Mockingbird isPrimaryTopicOf To_Mock_a_Mockingbird.
- To_Mock_a_Mockingbird name "To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic".