Wofür steht das „Lambda“ in der „Lambda-Rechnung“?

73

Ich habe in letzter Zeit über Lambda-Kalkül gelesen, aber seltsamerweise kann ich keine Erklärung dafür finden, warum es "Lambda" heißt oder woher der Ausdruck kommt.

Kann jemand die Ursprünge des Begriffs erklären?

Klangen
quelle

Antworten:

82

Ein Auszug aus der Geschichte der Lambda-Rechnung und der kombinatorischen Logik von F. Cardone und JR Hindley (2006):

Warum hat Church übrigens die Schreibweise „ “ gewählt? In [Church, 1964, §2] stellte er klar fest, dass es sich um die von Whitehead und Russell für die Klassenabstraktion verwendete Schreibweise „ “ handelte, indem er zuerst „ “ in „ “ änderte ", Um die Funktionsabstraktion von der Klassenabstraktion zu unterscheiden, und ändern Sie dann" "in" ", um das Drucken zu vereinfachen. Dieser Ursprung wurde auch in [Rosser, 1984, S.338] berichtet. Auf der anderen Seite teilte Church in seinen späteren Jahren zwei Fragestellern mit, dass die Wahl eher zufällig sei: Ein Symbol sei erforderlich, und „ “ sei zufällig gewählt worden.λx^x^xλλ

Anton Trunov
quelle
4
Und Lambda ist der Name des griechischen Buchstabens "λ", der als Symbol gewählt wird.
Thorbjørn Ravn Andersen
9

Hier finden Sie weitere Informationen / Informationen aus nächster Nähe von Dana Scott, einer Schülerin der Kirche, die gerade von Ghica berichtet und in einem Youtube-Video dokumentiert wurde. [1]

Er sagt, als Church gefragt wurde, was die Bedeutung von λ sei, antwortete er nur: "Eeny, meeny, miny, moe.", Was nur eins bedeuten kann. Es war eine zufällige, bedeutungslose Wahl. Prof. Scott behauptete, dass der Mythos der typografischen Herkunft hauptsächlich von Henk Barendregt propagiert wurde und einfach nur launisch sei. Er hat uns gebeten, diese dumme Geschichte nicht mehr zu verüben.

[1] Dana Scott auf Lambda-Notation / Youtube

[2] warum heißt Lambda-Kalkül das / math.SE

vzn
quelle