“ Lambda演算”中的“ Lambda”代表什么？

我最近一直在阅读有关Lambda演算的信息，但奇怪的是我找不到为什么它被称为“ Lambda”或表达式从何而来的解释。

谁能解释这个词的由来？

F. Cardone和JR Hindley（2006）摘录自Lambda微积分和组合逻辑的历史：

$\lambda$$\hat{x}$$\hat{x}$$\wedge x$$\wedge$$\lambda$$\lambda$

这是教会学生达娜·斯科特（Dana Scott）对此的另一种近乎第一手的信息/角度，正如Ghica报道并在youtube视频中记录的那样。[1]

他说，当问到教会λ的含义是什么时，他只是回答“ Eeny，meeny，miny，moe。”，这仅意味着一件事。这是一个随机的，毫无意义的选择。斯科特教授声称，印刷起源神话主要是由亨克·巴伦德雷特（Henk Barendregt）传播的，纯粹是出于异想天开。他要求我们停止讲述这个愚蠢的故事。

[1] Dana Scott在lambda表示法上 / youtube

[2] 为什么将lambda演算命名为 / math.SE