Co oznacza „Lambda” w „rachunku Lambda”?

73

Czytałem ostatnio o rachunku Lambda, ale o dziwo nie mogę znaleźć wyjaśnienia, dlaczego nazywa się on „Lambda” lub skąd pochodzi to wyrażenie.

Czy ktoś może wyjaśnić pochodzenie tego terminu?

Klangen
źródło

Odpowiedzi:

82

Fragment Historii rachunku Lambda i logiki kombinatorycznej autorstwa F. Cardone i JR Hindleya (2006):

Nawiasem mówiąc, dlaczego Kościół wybrał zapis „ ”? W [Church, 1964, §2] wyraźnie stwierdził, że pochodzi on od zapisu „ ” używanego do abstrakcyjnej klasy przez Whitehead i Russella, najpierw modyfikując „ ” na „ ”W celu odróżnienia abstrakcji funkcji od abstrakcji klas, a następnie zmianę„ ”na„ ”w celu ułatwienia drukowania. To pochodzenie opisano również w [Rosser, 1984, s.338]. Z drugiej strony, w późniejszych latach Kościół powiedział dwóm pytającym, że wybór był bardziej przypadkowy: potrzebny był symbol i właśnie wybrano „ ”.λx^x^xλλ

Anton Trunov
źródło
4
A lambda to nazwa greckiej litery „λ” wybranej jako symbol.
Thorbjørn Ravn Andersen
9

oto kilka innych informacji z pierwszej ręki na ten temat autorstwa studentki Kościoła Dany Scott, które zostały zgłoszone przez Ghicę i udokumentowane w filmie na youtube. [1]

Mówi, że kiedy zapytano Kościół o znaczenie λ, odpowiedział tylko „Eeny, meeny, miny, moe.”, Co może oznaczać tylko jedno. To był przypadkowy, bezsensowny wybór. Prof. Scott twierdził, że mit pochodzenia typograficznego był propagowany głównie przez Henka Barendregta i jest po prostu kapryśny. Poprosił nas, abyśmy przestali wykonywać tę głupią historię.

[1] Dana Scott na notacji lambda / youtube

[2] dlaczego rachunek lambda nazywa to / math.SE

vzn
źródło