“Lambda hesabı” ndaki “Lambda” ne anlama geliyor?

Geçenlerde Lambda matematiği hakkında okudum ama garip bir şekilde neden "Lambda" dendiğini veya ifadenin nereden geldiğiyle ilgili bir açıklama bulamıyorum.

Terimin kökenlerini açıklayan var mı?

F. Cardone ve JR Hindley'nin (2006) Lambda-calculus ve Combinatory Logic Tarihinden bir alıntı :

Bu arada, Church neden “ ” göstergesini seçti ? [Church, 1964, §2] 'de, “ ” ı “ ” e değiştirerek, Whitehead ve Russell tarafından sınıf soyutlamalarında kullanılan “ ” notasyonundan geldiğini açıkça belirtti. "İşlev soyutlamasını sınıf soyutlamasından ayırt etmek ve ardından yazdırma kolaylığı için " "ı" "olarak değiştirmek. Bu kökeni ayrıca bildirilmiştir [Rosser, 1984, s.338]. Öte yandan, daha sonraki yıllarda Kilise iki seçmene, seçimin daha tesadüfi olduğunu söyledi: bir sembol gerekliydi ve “ ” seçildi.$\lambda$$\hat{x}$$\hat{x}$$\wedge x$$\wedge$$\lambda$$\lambda$

Burada, Ghica tarafından henüz bildirildiği ve bir youtube videosunda belgelendiği üzere , kilise öğrencisi Dana Scott tarafından ele alınan diğer birinci elden bilgi / açılara bakabilirsiniz . [1]

Church'e λ'nin ne anlama geldiği sorulduğunda, “Sadece bir şey ifade edebilen Eeny, meeny, miny, moe.” Diye cevap verdi. Bu rastgele, anlamsız bir seçimdi. Scott, tipografik kökenli mitin esasen Henk Barendregt tarafından çoğaltıldığını ve sadece saf bir şekilde hevesli olduğunu iddia etti. Bu saçma hikayeyi sürdürmeyi bırakmamızı istedi.

[1] Dana Scott lambda notasyonu / youtube'da

[2] neden lambda matematiği / math olarak adlandırılır ?