なぜλ計算はλ計算と呼ばれているのか - まめめも

π計算のπは、λ計算のλからギリシャ文字順に選んだそうです *1 。僕も "process" の p だと思ってました。では、λ計算はなぜλなのか。λはアルファベットの l の祖先ですが、"function" には l は現れません。これは学生時代に調べたことがあって、答えは表記の変遷の中にありました (?) 以下 [1] によります。まず、パラドックスで有名なバートランド・ラッセルは、x を受け取って 2x+1 を返す関数を次のように書いていました。 つまり仮引数の上にハットを置く。これにちなんで、λ計算の生みの親であるアロンゾ・チャーチは次のように書きました。 しかしチャーチの文章を出版するとき、当時の印刷技術ではハット付きの文字が印刷できなかった (!) ので、 ^x.2x+1と写植屋さんが書き換えてしまいました。さらに、これをみた別の写植屋さんが ^ をλと勘違いしてしまった (!

[t_ita]

へー。おもしろいな。都市伝説だとしても。

[tanakaBox]

λの由来。面白かった。