[plt-scheme] Re: Why "lambda"?

From: wooks (wookiz at hotmail.com)
Date: Sat May 30 16:48:57 EDT 2009

On May 30, 7:54 pm, Shriram Krishnamurthi <s... at cs.brown.edu> wrote:
> > As for Cohen, I am willing to forgive him everything because he
> > clearly empathises with the student he is writing for.
> So do many people who write in Greek (which apparently includes Cohen).

Thats for the student to judge. I have no doubt that the people who do
it think they do.

> I think you've thoroughly undermined your own argument.

Shrugs. I think you are being too literal because in that case I
undermined it by not objecting to the lambda calculus.

I don't have my copy to hand, my recollection is that sometimes he
uses a Greek letter to represent a set. I don't recall any
manipulation of Greek symbols. Alot of his proofs are proof by
construction e.g he shows that you can represent all finite state
machines as a regular grammar and vice versa by showing you how to
construct one from the other.

I watched this.... http://www.youtube.com/watch?v=N0gUfuWoHJA, and I
tried reading Lee's Bayesian Statistics, completely to no avail. Yet
this is a subject that I have a pretty good grasp of from reading

Posted on the users mailing list.