「ラムダ計算」の「ラムダ」は何を表していますか？

私は最近ラムダ計算について読んでいますが、奇妙なことに、なぜそれが「ラムダ」と呼ばれるのか、または表現がどこから来たのかについての説明を見つけることができません。

誰もがこの用語の起源を説明できますか？

F. CardoneとJR HindleyによるLambda-calculus and Combinatory Logicの歴史からの抜粋（2006）：

ところで、なぜ教会は「」という表記を選んだのですか？[Church、1964、§2]で、彼はホワイトヘッドとラッセルによるクラス抽象化に使用される表記「」に由来することを明確に述べました。最初に「」を「」を使用して、関数の抽象化とクラス抽象化を区別し、印刷を簡単にするために「」を「」に変更します。この起源は[Rosser、1984、p.338]でも報告されました。一方、彼の晩年、教会は2人の探求者に、選択はより偶然であると語った。シンボルが必要であり、「」がたまたま選択されただけだった。$\lambda$$\hat{x}$$\hat{x}$$\wedge x$$\wedge$$\lambda$$\lambda$

Ghicaによって報告されたばかりで、YouTubeビデオで文書化された、教会の学生Dana Scottによる、これに関する他のいくつかの直接的な情報/角度があります。[1]

教会のλの意味を尋ねられたとき、彼はただ「Eeny、meeny、miny、moe。」と答えただけだと言っています。ランダムで意味のない選択でした。スコット教授は、活版印刷の起源の神話は主にヘンク・バレンドレッグによって伝播されたものであり、純粋に奇抜であると主張しました。彼は私たちにこの馬鹿げた話の実行をやめるように頼んだ。

[1] ラムダ記法 / youtubeのDana Scott

[2] なぜラムダ計算はthat / math.SE という名前になりますか