O que significa o "Lambda" no "cálculo Lambda"?

Eu tenho lido recentemente sobre o cálculo do Lambda, mas estranhamente não consigo encontrar uma explicação do motivo pelo qual é chamado "Lambda" ou de onde vem a expressão.

Alguém pode explicar as origens do termo?

Um trecho de History of Lambda-calculus and Combinatory Logic de F. Cardone e JR Hindley (2006):

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

aqui estão algumas informações / ângulos quase em primeira mão sobre isso, da estudante da Igreja Dana Scott, conforme relatado por Ghica e documentado em um vídeo do youtube. [1]

Ele diz que quando perguntado a Church qual era o significado do λ, ele apenas respondeu “Eeny, meeny, miny, moe.”, O que só pode significar uma coisa. Foi uma escolha aleatória e sem sentido. Scott afirmou que o mito da origem tipográfica foi propagado principalmente por Henk Barendregt e é apenas um capricho. Ele nos pediu para parar de perpetrar essa história boba.

[1] Dana Scott na notação lambda / youtube

[2] por que o cálculo lambda é chamado de / math.SE