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 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
