About
Serendipity wandering online. Wherein snippets from the World Wide Web are thrown in that deal with memetic nonsense, programmatic geekery, political and philosophical thoughts, all of the above, and beyond.
Accounts
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.
Click here to check if anything new just came in.
January 05 2010
A lambda calculus for quantum computation
Reposted by
mondkroete
mondkroete
January 16 2009
Lambda Calculus in a Can
Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the Entscheidungsproblem, the question of whether or not there exists an algorithm capable of deciding the truth or falsehood of all statements in mathematics. LambdaCan is essentially an Arduino Diecimila board mounted in a cough drop can using epoxy putty.
Reposted by
November 27 2008
Church Encoding in Python
Reposted by
Older posts are this way
If this message doesn't go away, click anywhere on the page to continue loading posts.
Could not load more posts
Maybe Soup is currently being updated? I'll try again automatically in a few seconds...
Maybe Soup is currently being updated? I'll try again automatically in a few seconds...
Just a second, loading more posts...
You've reached the end.
