“Lambda calculus”의“Lambda”는 무엇을 의미합니까?

나는 최근에 Lambda 미적분학에 대해 읽었지만 이상하게도 왜 "Lambda"라고 불리는 지 또는 표현의 유래에 대한 설명을 찾을 수 없습니다.

누구든지 용어의 기원을 설명 할 수 있습니까?

F. Cardone과 JR Hindley (2006) 의 Lambda-calculus and Combinatory Logic 의 발췌문 :

$\lambda$$\hat{x}$$\hat{x}$$\wedge x$$\wedge$$\lambda$$\lambda$

다음은 Ghica가 방금보고 하고 youtube 비디오에 기록 된 교회 학생 Dana Scott의 다른 직접적인 정보 / 각도입니다 . [1]

그는 교회가 λ의 의미가 무엇인지 물었을 때 단지“에니, 미네, 마이 니, 모에”라고 대답했다. 무작위, 무의미한 선택이었습니다. Scott 교수는 인쇄상의 기원 신화가 주로 Henk Barendregt에 의해 전파되었으며 단지 기발한 것이라고 주장했습니다. 그는 우리에게이 어리석은 이야기를 그만두라고 요청했습니다.

[1] 람다 표기법 / YouTube의 Dana Scott

[2] 람다 미적분학이 왜 / math.SE 라고 명명 되었는가