playing with Lambda Calculus?
Mar. 3rd, 2004 01:26 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslI am desperate to play around with the Lambda Calculus, so I can start encoding chunks of physical theories (or at least high-school algebra).
My idea for now is to formalize proofs about Kolmogorov Complexity, just like Sussman did with classical mechanics (using Scheme).
What is the easiest environment to install / start playing around with this stuff?
My idea for now is to formalize proofs about Kolmogorov Complexity, just like Sussman did with classical mechanics (using Scheme).
What is the easiest environment to install / start playing around with this stuff?