Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Is there any known reason why Alonzo Church chose Greek $\lambda$ as the "binding operator" for the Lambda Calculus?

share|improve this question
6  
Seems to be answered on math.SE: math.stackexchange.com/a/64469/413. –  Joel David Hamkins Dec 19 '13 at 14:29
2  
We don't generally close questions here as a duplicate on another site, but rather we just link to them with an answer. I suggest that you should post an answer containing the link in my comment and perhaps a summary of the answer, and then the question will be completed here. The upvotes indicate to me that the question was appreciated here, and so it doesn't make sense to me to close or delete the question. –  Joel David Hamkins Dec 19 '13 at 18:42

1 Answer 1

up vote 3 down vote accepted

This question has been answered on math.SE (as pointed out by Joel David Hamkins). With a reference to Lambda-Calculus and Combinators in the 20th Century by Felice Cardone and J. Roger Hindley, Handbook of the History of Logic Volume 5, 2009, Pages 723–817, it is stated that “$\lambda x$” comes from “$\hat x$.”

A preprint of that article is available online, here is a quote from it:

By the way, why did Church choose the notation “$\lambda$”? In [A. Church, 7 July 1964. Unpublished letter to Harald Dickson, §2] he stated clearly that it came from the notation “$\hat x$” used for class-abstraction by Whitehead and Russell, by first modifying “$\hat x$” to “$\wedge x$” to distinguish function-abstraction from class-abstraction, and then changing “$\wedge$” to “$\lambda$” for ease of printing. This origin was also reported in [J. B. Rosser. Highlights of the history of the lambda calculus. Annals of the History of Computing, 6:337—349, 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 “$\lambda$” just happened to be chosen.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.