4 ms·

Umm, Jim Weirich's explanation in this video makes pretty much perfect sense: http://vimeo.com/45140590 http://vimeo.com/45140590

dkural 12y ago
Not if you don't already know what it is. It's not a definition. This is exactly what he says and shows starting at 6:30 Audio: "This is the basics of lambda calculus right here. You’ve got the little lambda function, a lambda character and that’s indicates the beginning of a function definition. you say this function takes a varia..uh argument called x. The period denotes the beginning of the body of the function, and then whatever comes after the period is what is returned by the function. So this is an identify function here. Anything you give it, it returns back the same value. You have arguments, well ok you have variables, and you have functions. That's all you have in lambda calculus. There is nothing else, but variables and functions. " Visual: There is a title to the slide, "λ-calculus". There is an image on the center of the slide with λx.x, and there are these words with arrows going to λx.x : "punctuation", with two arrows coming out of it, going λ and . "argument (variable)" with an arrow to the first x "body (λ-expression)" with an arrow to the second x. This person would fail the first definition-proof based math exam at Harvard. Let's say, the question is "What is a function?" You can't say, well, uh, you have your f there, so basically, that's the function, and you have these arrows, and the x between the arrows, that's uh, your variable. f takes that, and uh, returns whatever's after the equal. So that's basically a function. And I'd draw an image of f(x) = y, and have arrows to ()= saying punctuation, to f, "function", and x,y "variables". Sloppy thinking like this is what resulted in inconsistencies in calculus, until people got rigorous and started giving good definitions of what exactly they're talking about. Here's a standard definition: http://en.wikipedia.org/wiki/Function_(mathematics)#Definition http://en.wikipedia.org/wiki/Function_(mathematics)#Definiti... Common Intuition is not always a good guide for mathematics or computer science. The world is not as it seems. You have things like the Banach Tarski paradox, or Brouwer's fixed-point theorem which may be counterintuitive but once things clearly defined, makes more sense.
- Crito 12y ago
  He wasn't given a lecture about lambda calculus, he was giving a lecture about Y Combinators. While he gave a quick overview of lambda calculus (an overview which I would describe as effective and _sufficient for the rest of the lecture_), that should not be confused with an attempt to give a lecture about lambda calculus. A more rigorous or 'correct' treatment of lambda calculus would not have improved his talk, it would have distracted from it..

dkural 12y ago

Not if you don't already know what it is. It's not a definition. This is exactly what he says and shows starting at 6:30 Audio: "This is the basics of lambda calculus right here. You’ve got the little lambda function, a lambda character and that’s indicates the beginning of a function definition. you say this function takes a varia..uh argument called x. The period denotes the beginning of the body of the function, and then whatever comes after the period is what is returned by the function. So this is an identify function here. Anything you give it, it returns back the same value. You have arguments, well ok you have variables, and you have functions. That's all you have in lambda calculus. There is nothing else, but variables and functions. " Visual: There is a title to the slide, "λ-calculus". There is an image on the center of the slide with λx.x, and there are these words with arrows going to λx.x : "punctuation", with two arrows coming out of it, going λ and . "argument (variable)" with an arrow to the first x "body (λ-expression)" with an arrow to the second x. This person would fail the first definition-proof based math exam at Harvard. Let's say, the question is "What is a function?" You can't say, well, uh, you have your f there, so basically, that's the function, and you have these arrows, and the x between the arrows, that's uh, your variable. f takes that, and uh, returns whatever's after the equal. So that's basically a function. And I'd draw an image of f(x) = y, and have arrows to ()= saying punctuation, to f, "function", and x,y "variables". Sloppy thinking like this is what resulted in inconsistencies in calculus, until people got rigorous and started giving good definitions of what exactly they're talking about. Here's a standard definition: http://en.wikipedia.org/wiki/Function_(mathematics)#Definition http://en.wikipedia.org/wiki/Function_(mathematics)#Definiti... Common Intuition is not always a good guide for mathematics or computer science. The world is not as it seems. You have things like the Banach Tarski paradox, or Brouwer's fixed-point theorem which may be counterintuitive but once things clearly defined, makes more sense.

Crito 12y ago
He wasn't given a lecture about lambda calculus, he was giving a lecture about Y Combinators. While he gave a quick overview of lambda calculus (an overview which I would describe as effective and _sufficient for the rest of the lecture_), that should not be confused with an attempt to give a lecture about lambda calculus. A more rigorous or 'correct' treatment of lambda calculus would not have improved his talk, it would have distracted from it..