Studying the Lambda Calculus brings us to study combinatory logic. Raymond Smullyan (what is the name of that author?) wrote a puzzle book on combinatory logic: To Mock a Mockingbird. This paper is a fun exploration of the same theme.
If we had a function Mock, identified by M, this webpage = M(M("To Kill a Mockingbird")). Lucky for us MM is not the same as the I combinator - I really didn't like the original book by Harper Lee.
But this page is fun. Now click!
Posted to "" by Ehud Lamm on 9/26/00; 9:13:57 AM
|