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, and another founder Moses Schönfinkel's name means beautiful bird). 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. While the book starts off with simple riddles, it eventually shifts to a tale of Inspector Craig of Scotland Yard, who appears in Smullyan's other books; traveling from forest to forest, learning from different professors about all the different kinds of birds. He starts off in a certain enchanted forest, then goes to an unnamed forest, then to Curry's Forest (named after Haskell Curry), then to Russell's Forest, then to The Forest Without a Name, then to Gödel's Forest and finally to The Master Forest where he also answers The Grand Question. (Wikipedia).
RubyConf 2021 - To mock, or not to mock? by Emily Giurleo
Mocking: it’s one of the most controversial topics in the testing world. Using mocks, we can more easily test parts of our applications that might otherwise go untested, but mocks can also be misused, resulting in tests that are brittle or downright self-referential. So… how do we know wh
From playlist RubyConf 2021
From playlist Songs to Torture Undergrads
Poetic motion of a bird in flight set to original music
From playlist My music video's
Imagine (youtube human version) Parody
John Lennon's Imagine performed completely by mouth. Includes new Youtube lyrics! ------------------------------------ Lyrics: Imagine there's no Youtube It's not that easy if you try No account to login to Nothing to do but die Imagine all the people Living for Youtube Im
From playlist My music video's
MiniTest: Refactoring Test Unit and RSpec back to version 0.0.1 by Jared Ning
MiniTest is the no-nonsense testing framework you already know how to use. If we strive for cleaner and simpler code in our own work, wouldn't it be nice to have that in our test framework too? Whether you're a Test Unit fan or RSpec fan, you'll feel right at home using MiniTest. Its simpl
From playlist Rails Conf 2012
A Harp, a Viola, and a Flute - Jack Stulz, Bridget Kibbey, Julietta Curenton and Sebastian Currier
Edward T. Cone Concert Series Post-Concert Discussion Friday, February 20, 2015 A Harp, a Viola, and a Flute Bridget Kibbey, Jack Stulz, Julietta Curenton With its unique instrumental combination and seductive sound, Debussy's Sonata for Flute, Harp, and Viola has led to many subsequent
From playlist Edward T. Cone Concert Series Discussion
When women nag.. I just hope I can do the same!
When women nag.. I just hope I can do the same!
From playlist Humor
A-Ha - Take On Me (Vocals Half-Step Out of Key)
My Social Medias, yo (ง ͠° ͟ل͜ ͡°)ง ➤ https://linktr.ee/
From playlist Songs to Torture Undergrads
September 22, 2008 introductory lecture by William Durham for the Stanford Continuing Studies course on Darwin's Legacy (DAR 200). Professor Durham provides an overview of the course; Professor Robert Siegel touches upon "Darwin's Own Evolution;" Professor Durham returns for a talk on "Da
From playlist Lecture Collection | Darwin's Legacy
Why do I keep trying to use music?
Oh yes, because I need the practice... #BathSinging
From playlist Nerdy Rodent Uploads!
To Kill a Mockingbird, Part 1 - Crash Course Literature 210
In which John Green teaches you about Harper Lee's famous novel, To Kill a Mockingbird. John will cover a bit about Harper Lee's personal life, (seeing as this novel has some autobiographical elements) and her long association with Truman Capote, who figures as a character in the book. You
From playlist Back to School - Expanded
GRCon20 - Syncopated Engineering Sponsor Talk
Presented by Brian Kanhofer at GNU Radio Conference 2020 https://gnuradio.org/grcon20 Syncopated Engineering will discuss a new product under development for use in RF environment emulation called Mockingbird. Mockingbird allows a user to mimic a set of signals in an RF environment to fac
From playlist GRCon 2020
To Kill a Mockingbird - So You Haven't Read - Harper Lee
Looking to lower your monthly phone bill? Use the link http://extracredits.ting.com/ to get a $25 credit from this week's sponsor Ting Mobile! So you haven't read Harper Lee's Pulitzer Prize-winning book To Kill a Mockingbird? Don't worry! We'll give you a rundown of the book and its plac
From playlist So You Haven't Read (ALL EPISODES)
Free Code Camp's June 2015 Summit
Recording of Free Code Camp's June 2015 Summit live streamed at Twitch.tv. Agenda: 1. Intros (Nathan, Michael, Briana, Quincy, Dan Raley) 2. Introduce Dan Raley as responsible for Medium and our Field Guide 3. Update on our translation effort 4. Quincy announces our new mobile experience
From playlist Streams
Race, Class, and Gender in To Kill a Mockingbird: Crash Course Literature 211
In which John Green teaches you MORE about To Kill a Mockingbird. In this installment, John teaches you about race, class, and gender in the American south, as seen through the eyes of Scout and Harper Lee. John will talk about how Scout learns about these aspects of the social order as sh
From playlist Back to School - Expanded
Ahhh, nature at its finest. Sit back and enjoy the raw beauty of this beautiful bird. He is just full of surprises!
From playlist Funny Videos, Parodies, Odds and ends!
When Raju Shrivastav mimicked Lalu Yadav in front of him
At Agenda Aaj Tak, even the RJD chief enjoyed watching the stand up cracking jokes on him.
From playlist Humor
Are You Rational? #4 Are You Open Minded? | Philosophy Tube
Part 4: What does it mean to be open minded? How can art and creativity help us make more people open minded? How can we make socially conscious art? Watch the series: Watch the series: https://www.youtube.com/watch?v=QiFOZEiehFo&list=PLvoAL-KSZ32cABqZ-0SvFVsc4FY7iIyqv&index=1 Subscribe!
From playlist KNOWLEDGE, LOGIC, & RELIGION
Michael Jackson - Beat It (All Instruments Off Tempo)
My Social Medias, yo (ง ͠° ͟ل͜ ͡°)ง ➤ https://linktr.ee/
From playlist Songs to Torture Undergrads
Crash Course Literature 2 Preview
In which John Green teaches you about a future in which he'll teach you about literature! Here is the reading list: The Odyssey by Homer https://bookshop.org/a/3859/9780393356250 Oedipus Rex by Sophocles https://bookshop.org/a/3859/9780156027649 Hamlet by Bill Shakespeare https://booksh
From playlist Literature 2