と言ってもラムダ計算の話、その名の由来について。

最近ふと気になって調べてみた。すると、いろんな説を見つけた。と言っても大体は同じだ。

見つけた記事の中でも以下の記事が最もまとまっていたので挙げておく。

Why Church chose lambda | Wisdom and Wonder

ただし上記リンクは参照先のリンクが切れているので、リンクは此方から辿るといい。

math.stackexchange.com

さて、リンクを貼っ付けるだけではなんなので、典拠が明記してある “History of λ-calculus and Combinatory Logic” by J. R. Hindley, F. Cardone から、拙いが抄訳して載せておく。なお、出典の脚注は便利なように私が付けたものだ。

何れにしても、キャレットがその出自であるようだが、そこに何か深い意味があったわけではないようだ。

ところでSchemeの処理系の一つのGaucheでは、lambdaの略として^キャレットが使えるらしい。*3

先祖返りとはこのことか。