Apa artinya “Lambda” dalam “Lambda calculus”?

Saya telah membaca tentang kalkulus Lambda baru-baru ini tetapi anehnya saya tidak dapat menemukan penjelasan mengapa ini disebut "Lambda" atau dari mana ungkapan itu berasal.

Adakah yang bisa menjelaskan asal usul istilah ini?

Kutipan dari History of Lambda-calculus and Combinatory Logic oleh F. Cardone dan JR Hindley (2006):

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

di sini ada beberapa informasi / sudut pandang dekat lainnya tentang hal ini oleh siswa Gereja Dana Scott yang baru saja dilaporkan oleh Ghica dan didokumentasikan dalam video youtube. [1]

Dia mengatakan bahwa ketika Gereja ditanya apa arti λ itu, dia hanya menjawab "Eeny, meeny, miny, moe.", Yang hanya bisa berarti satu hal. Itu adalah pilihan acak dan tidak berarti. Scott mengklaim bahwa mitos asal tipografi terutama dipropagandakan oleh Henk Barendregt dan hanyalah imajinasi belaka. Dia meminta kami untuk berhenti melakukan kisah konyol ini.

[1] Dana Scott pada notasi lambda / youtube

[2] mengapa kalkulus lambda dinamai itu / math.SE