¿Qué significa la "Lambda" en "Cálculo Lambda"?

75

He estado leyendo sobre el cálculo Lambda recientemente, pero extrañamente no puedo encontrar una explicación de por qué se llama "Lambda" o de dónde proviene la expresión.

¿Alguien puede explicar los orígenes del término?

Klangen
fuente

Respuestas:

82

Un extracto de History of Lambda-calculus and Combinatory Logic por F. Cardone y JR Hindley (2006):

Por cierto, ¿por qué Church eligió la notación " "? En [Church, 1964, §2] declaró claramente que provenía de la notación " " utilizada para la abstracción de clase por Whitehead y Russell, modificando primero " " a " "Para distinguir la abstracción de funciones de la abstracción de clase y luego cambiar" "a" "para facilitar la impresión. Este origen también se informó en [Rosser, 1984, p.338]. Por otro lado, en sus últimos años, Church le dijo a dos investigadores que la elección era más accidental: se necesitaba un símbolo y se eligió " ".λx^x^xλλ

Anton Trunov
fuente
44
Y lambda es el nombre de la letra griega "λ" elegida como símbolo.
Thorbjørn Ravn Andersen
10

Aquí hay otra información / ángulo casi de primera mano sobre esto por la estudiante de la Iglesia Dana Scott, según lo informado por Ghica y documentado en un video de YouTube. [1]

Él dice que cuando se le preguntó a Church cuál era el significado de λ, él simplemente respondió "Eeny, meeny, miny, moe", lo que solo puede significar una cosa. Fue una elección aleatoria, sin sentido. El profesor Scott afirmó que el mito del origen tipográfico fue propagado principalmente por Henk Barendregt y es pura fantasía. Nos pidió que dejáramos de perpetrar esta tonta historia.

[1] Dana Scott en notación lambda / youtube

[2] por qué el cálculo lambda se llama así / mates.

vzn
fuente