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?
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?
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 „ ”.
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]
[1] Dana Scott na notacji lambda / youtube
[2] dlaczego rachunek lambda nazywa to / math.SE
źródło