Name:
Anonymous
2014-04-28 19:51
So Alonzo Church is giving a talk on Lambda Calculus.
``Formally,'' he says, ``We have the following symbols. The lambda operator λ (together with a .), parentheses ( and ), and variables x1, x2, etc.''
A little old lady at the back of the room stands up and says: ``What you have told us is rubbish. Computation is just like a burrito.''
Church smiles at her and asks ``What's inside the burrito?''
``You're very clever, young man, very clever,'' says the old lady. ``But it's burritos all the way down!''