1
$\begingroup$

In some textbook I have met a statement, that discovery of lambda calculus explained the relation between name and value.

How it did this in a simple example?

UPDATE

I don't remember the context, this is the part of the problem :)

$\endgroup$
3
  • $\begingroup$ What is lambda calculus? $\endgroup$
    – Sigur
    Feb 6, 2013 at 0:40
  • 2
    $\begingroup$ @Sigur: See wikipedia $\endgroup$
    – user14972
    Feb 6, 2013 at 0:41
  • $\begingroup$ Any context at all would be helpful! Which textbook was it, what does the surrounding text say, etc., etc.? $\endgroup$
    – user856
    Feb 6, 2013 at 1:49

1 Answer 1

2
$\begingroup$

Just guessing since I don't know the context....

One of the problems with conventional notation is what is meant by an expression like "$x^2+1$", if "$x$" is a real variable? Is this supposed to represent a function in the variable $x$? Or is this supposed to represent the real number whose value depends on the value of $x$?

Pretty much every formal treatment of mathematical grammar and syntax I've seen would support the latter interpretation: "$x^2 + 1$" denotes a number. However, the former interpretation is very useful so people keep using it -- and for many purposes the difference is moot anyways so people don't even notice the ambiguity. (of course, this may be a cause of some confusion in beginning students, who haven't adapted properly)

Lambda calculus gives a systematic notation to clarify which interpretation you mean. "$x^2 + 1$" is a number. "$\lambda x.(x^2+1)$" is a function.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .