<blockquote>
  <p>By the way, why did Church choose the notation “λ”? In [Church, 1964, §2] he stated clearly that it came from the notation “xˆ” used for class-abstraction by Whitehead and Russell, by first modifying “xˆ” to “∧x” to distinguish function- abstraction from class-abstraction, and then changing “∧” to “λ” for ease of printing. This origin was also reported in [Rosser, 1984, p.338]. On the other hand, in his later years Church told two enquirers that the choice was more accidental: a symbol was needed and “λ” just happened to be chosen.</p>
  
  <p>-- <em>History of Lambda-Calculus and Combinatory logic</em>, F. Cardone and J. R. Hindley, 2009</p>
</blockquote>

CC BY-SA 3.0
2013-07-31T08:31:34.850Z
2013-07-31T08:31:34.850Z
Vijay D
<p>The reason lambda is used is because of the lambda-calculus, where λx.E (for any expression E) is used to denote the function which takes a value a and returns E[a/x], meaning "the result of substituting a for x in E". Thus,
(λx.x+1)(5) = 5+1 = 6.</p>

<p>This however doesn't answer the question why specifically λ was chosen for this role. The answer requires a little bit of history, but if you're interested, here it is.</p>

<p>In the Principia Mathematica, the notation "ẑP(z)" was introduced for "the set of all z such that P(z)" (which we would now write as {z:P(z)}). The notation was quite popular for a while after, and hence was the one Alonzo Church (the creator/discoverer of the λ-calculus) was familiar with.</p>

<p>Alonzo Church, was interested in a view of mathematics where sets were interpreted as functions from individuals to truth-values. Thus rather than writing 6 ∈ ẑ(z > 5), we could just write "[ẑ(z > 5)](6)", which would have the same value as "(6 > 5)", and hence TRUE. Viewed this way, there should be no difference between an expression like "ẑ(z > 5)" and "ẑ(z+5)", as they both represent functions which can accept values. "[ẑ(z + 5)](6)" would then have the same value as "(6+5)", which is 11.</p>

<p>The long and short of it is, when he first started writing papers on the formal properties of these systems, there were some difficulties with typesetting "ẑ", so "ẑ" became "^z", which then became "λz" for stylistic reasons.</p>

<p>Later, when students would ask him how he decided on the letter "λ", he used to claim "eenie meanie minee moe".</p>

CC BY-SA 3.0
2013-07-31T04:14:09.517Z
2013-07-31T04:14:09.517Z
Monad
<p>There is a popular formal system called <a href="https://en.wikipedia.org/wiki/Lambda_calculus">Lambda calculus</a>. It is Turing complete and has great importance in the theory of programming languages. Lambda calculus is based on anonymous functions with very simple syntax. You start a new function with a $\lambda$, list the arguments, place a dot, and write down the return value. For example, $\lambda x.x$ is the identity function, $\lambda x.xx$ applies the functional argument $x$ to itself. </p>

<p>Since programming language designers know Lambda calculus very well, it seemed like a good idea to call anonymous functions in their language lambdas.</p>

CC BY-SA 3.0
2013-07-24T11:13:47.463Z
Great explanation, many thanks for that."λx.xx applies the functional argument x to itself." does this mean  if x ==2 , then return is 4? or you meant something else?
nish1013
CC BY-SA 3.0
2013-07-24T11:21:09.973Z
could you please suggest a resource such as a book to gather knowledge for Lambda Calculus (in perspective of programming) ? I have seen many advance book that could make someone really tired !
nish1013
CC BY-SA 3.0
2013-07-24T13:16:14.740Z
λx.xx, or rather λx.(x x), means "apply x to x." Or think of it as x(x). For example, if arg = λx.(x x), then (λx.(x x) arg) = (λx.(x x) λx.(x x)), which has reached a fixed point. It can't be simplified further. Here the argument is a function and the return result is an application. Note that application is as important as function in lambda calculus.
Zirui Wang
CC BY-SA 3.0
2013-07-24T13:22:06.737Z
Oh I see lets say I want to convert following function into lambda,

public int sum(int x , int Y){
  return x+y;
}

what would be the representation using lambda?
nish1013
CC BY-SA 3.0
2013-07-25T15:40:44.637Z
λxy.(+ x y). Here + is a function and it's applied to two arguments.
Zirui Wang
CC BY-SA 3.0
2013-07-29T08:21:09.117Z
The most entertaining introduction to lambda calculus that I know is [alligator eggs](http://worrydream.com/AlligatorEggs/).
adrianN
CC BY-SA 3.0
2013-08-01T08:47:35.917Z
could anyone please help on this _"could you please suggest a resource such as a book to gather knowledge for Lambda Calculus (in perspective of programming) ? I have seen many advance book that could make someone really tired !"_
nish1013
CC BY-SA 3.0
2013-07-24T11:00:47.010Z
2013-07-24T11:10:09.683Z
2013-07-24T11:10:09.683Z
adrianN
<p>could any one please let me know what is the relation between "lambda" and anonymous functions in programming?</p>

<p>in other words why we say lambda function to an anonymous function?</p>

<p>I am here trying to understand the reason for use of the term</p>

CC BY-SA 3.0
2013-07-31T12:44:54.940Z
not sure why forum has made two minuses for this question. A considerable amount of knowledge sharing been happened, so IMO this post not deserve -2
nish1013
CC BY-SA 3.0
2013-08-02T06:16:49.583Z
Good answers doesn't mean good question. You could have found the answer easily by googling for _lambda notation history_, e.g. http://math.stackexchange.com/q/64468.
Kaveh
CC BY-SA 3.0
2013-08-02T08:05:04.587Z
@Kaveh If you carefully read the question , you would notice the question is in the programming context not in mathematics. And people won't get same question in their head even they might lead to a same answer. On the other hand it is intellectually not fair to categories questions as bad or good , and as most would agree a question would NEVER be bad.
nish1013
CC BY-SA 3.0
2013-08-02T08:22:32.570Z
I have read the question. You seem to be new to Stack Exchange. I haven't down voted your question, I just explained why your question has got 4 down votes and 1 close vote. On cstheory a question can be considered bad for several reasons, e.g. when the answer can be found easily by searching as is in this case. I would suggest you check [help/on-topic].
Kaveh
<lambda-calculus><functional-programming>
"lambda" term usage in programming
nish1013
# "lambda" term usage in programming

(Asked by: username_0 on 2013-07-24)

could any one please let me know what is the relation between "lambda" and anonymous functions in programming?

in other words why we say lambda function to an anonymous function?

I am here trying to understand the reason for use of the term

**Tags:** lambda-calculus, functional-programming
> **Comments:**
> **username_0**: not sure why forum has made two minuses for this question. A considerable amount of knowledge sharing been happened, so IMO this post not deserve -2  
> **username_1**: Good answers doesn't mean good question. You could have found the answer easily by googling for _lambda notation history_, e.g. http://math.stackexchange.com/q/64468.  
> **username_0**: @Kaveh If you carefully read the question , you would notice the question is in the programming context not in mathematics. And people won't get same question in their head even they might lead to a same answer. On the other hand it is intellectually not fair to categories questions as bad or good , and as most would agree a question would NEVER be bad.  
> **username_1**: I have read the question. You seem to be new to Stack Exchange. I haven't down voted your question, I just explained why your question has got 4 down votes and 1 close vote. On cstheory a question can be considered bad for several reasons, e.g. when the answer can be found easily by searching as is in this case. I would suggest you check [help/on-topic].  

---

## 3 answers

### Answer by username_4 on 2013-07-24. Score: 7 | Accepted answer

There is a popular formal system called [Lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus). It is Turing complete and has great importance in the theory of programming languages. Lambda calculus is based on anonymous functions with very simple syntax. You start a new function with a $\lambda$, list the arguments, place a dot, and write down the return value. For example, $\lambda x.x$ is the identity function, $\lambda x.xx$ applies the functional argument $x$ to itself.

Since programming language designers know Lambda calculus very well, it seemed like a good idea to call anonymous functions in their language lambdas.

> **Comments:**
> **username_0**: Great explanation, many thanks for that."λx.xx applies the functional argument x to itself." does this mean  if x ==2 , then return is 4? or you meant something else?  
> **username_0**: could you please suggest a resource such as a book to gather knowledge for Lambda Calculus (in perspective of programming) ? I have seen many advance book that could make someone really tired !  
> **username_5**: λx.xx, or rather λx.(x x), means "apply x to x." Or think of it as x(x). For example, if arg = λx.(x x), then (λx.(x x) arg) = (λx.(x x) λx.(x x)), which has reached a fixed point. It can't be simplified further. Here the argument is a function and the return result is an application. Note that application is as important as function in lambda calculus.  
> **username_0**: Oh I see lets say I want to convert following function into lambda,  public int sum(int x , int Y){   return x+y; }  what would be the representation using lambda?  
> **username_5**: λxy.(+ x y). Here + is a function and it's applied to two arguments.  
> **username_4**: The most entertaining introduction to lambda calculus that I know is [alligator eggs](http://worrydream.com/AlligatorEggs/).  
> **username_0**: could anyone please help on this _"could you please suggest a resource such as a book to gather knowledge for Lambda Calculus (in perspective of programming) ? I have seen many advance book that could make someone really tired !"_  

---

### Answer by username_2 on 2013-07-31. Score: 6

> By the way, why did Church choose the notation “λ”? In [Church, 1964, §2] he stated clearly that it came from the notation “xˆ” used for class-abstraction by Whitehead and Russell, by first modifying “xˆ” to “∧x” to distinguish function- abstraction from class-abstraction, and then changing “∧” to “λ” for ease of printing. This origin was also reported in [Rosser, 1984, p.338]. On the other hand, in his later years Church told two enquirers that the choice was more accidental: a symbol was needed and “λ” just happened to be chosen.
>
> -- *History of Lambda-Calculus and Combinatory logic*, F. Cardone and J. R. Hindley, 2009


---

### Answer by username_3 on 2013-07-31. Score: 5

The reason lambda is used is because of the lambda-calculus, where λx.E (for any expression E) is used to denote the function which takes a value a and returns E[a/x], meaning "the result of substituting a for x in E". Thus,
(λx.x+1)(5) = 5+1 = 6.

This however doesn't answer the question why specifically λ was chosen for this role. The answer requires a little bit of history, but if you're interested, here it is.

In the Principia Mathematica, the notation "ẑP(z)" was introduced for "the set of all z such that P(z)" (which we would now write as {z:P(z)}). The notation was quite popular for a while after, and hence was the one Alonzo Church (the creator/discoverer of the λ-calculus) was familiar with.

Alonzo Church, was interested in a view of mathematics where sets were interpreted as functions from individuals to truth-values. Thus rather than writing 6 ∈ ẑ(z > 5), we could just write "[ẑ(z > 5)](6)", which would have the same value as "(6 > 5)", and hence TRUE. Viewed this way, there should be no difference between an expression like "ẑ(z > 5)" and "ẑ(z+5)", as they both represent functions which can accept values. "[ẑ(z + 5)](6)" would then have the same value as "(6+5)", which is 11.

The long and short of it is, when he first started writing papers on the formal properties of these systems, there were some difficulties with typesetting "ẑ", so "ẑ" became "^z", which then became "λz" for stylistic reasons.

Later, when students would ask him how he decided on the letter "λ", he used to claim "eenie meanie minee moe".


---

