Задавшись вопросом об этимологии значка «λ», выбранном Черчем для обозначения абстракции в λ-исчислении, я скоро натолкнулся на статью «History of Lambda-calculus and Combinatory Logic» (Felice Cardone, J. Roger Hindley), где, в частности, поднимается история этого обозначения. Оказывается, изначально для некоторого другого типа абстракции Whitehead и Russell использовали запись «x̂». Для новой конструкции, чтобы отличать ее от прежней абстракции, Черч заменил обозначение сначала на «∧x», а затем на «λx», очевидно, интерпретировав первый символ как заглавную букву «Λ», для упрощения набора:
«By the way, why did Church choose the notation “λ”? In [Church, 1964, §2] he stated clearly that it came from the notation “x̂” used for class-abstraction by Whitehead and Russell, by first modifying “x̂” to “∧x” to distinguish function-abstraction from class-abstraction, and then changing “∧” to “λ” for ease of printing. This origin was also reported in [Rosser, 1984, p.338]. On the other hand, in his later years Church told two enquirers that the choice was more accidental: a symbol was needed and “λ” just happened to be chosen».
До обнаружения приведенного отрывка в голове крутились лишь два варианта: первый заключался в указании альтернативности λ-исчисления логике («logics») первого порядка, а второй относился к связи абстракции с квантором общности (см., например, «Аппликативные вычислительные системы» Вольфенгагена, часть VI «Логика»).
«By the way, why did Church choose the notation “λ”? In [Church, 1964, §2] he stated clearly that it came from the notation “x̂” used for class-abstraction by Whitehead and Russell, by first modifying “x̂” to “∧x” to distinguish function-abstraction from class-abstraction, and then changing “∧” to “λ” for ease of printing. This origin was also reported in [Rosser, 1984, p.338]. On the other hand, in his later years Church told two enquirers that the choice was more accidental: a symbol was needed and “λ” just happened to be chosen».
До обнаружения приведенного отрывка в голове крутились лишь два варианта: первый заключался в указании альтернативности λ-исчисления логике («logics») первого порядка, а второй относился к связи абстракции с квантором общности (см., например, «Аппликативные вычислительные системы» Вольфенгагена, часть VI «Логика»).
