なぜJavaのLambda式が "lambda"と呼ばれていますか？

Question

ラムダ式の名前が "ラムダ"で、 "シータ"や "ガンマ"などではないのはなぜですか？

Answer 1

ホワイトヘッドとラッセルは、xˆを使用して表記しました。教会がラムダ計算を開発していたとき、彼はそれに基づいて^xを持っていました。それではλxは、その時点で既存のタイプセットで印刷する方が簡単だったので、Λのように少し見えます。λは小文字Λです。

λが非常に多かったので、教会のシステムはλ-calculusとなった。その後、関数を操作するときにコンピュータサイエンスや後の実用的な計算に影響を与え、そのような場合には「ラムダ」という名前が広まりました。