“ แลมบ์ดา” ใน“ แลมบ์ดาแคลคูลัส” หมายถึงอะไร

เมื่อไม่นานมานี้ฉันได้อ่านเกี่ยวกับแคลคูลัสแลมบ์ดา แต่ฉันไม่สามารถหาคำอธิบายได้ว่าทำไมมันจึงเรียกว่า "แลมบ์ดา" หรือที่มาของนิพจน์

มีใครอธิบายต้นกำเนิดของคำศัพท์นี้ได้บ้าง

ข้อความที่ตัดตอนมาจากประวัติแลมบ์ดา - แคลคูลัสและ Combinatory Logicโดย F. Cardone และ JR Hindley (2006):

ทำไมคริสตจักรจึงเลือกสัญกรณ์“ ” ใน [Church, 1964, §2] เขากล่าวอย่างชัดเจนว่ามันมาจากสัญกรณ์“ ” ที่ใช้สำหรับการเรียนโดย Abstraction Whitehead และ Russell โดยการแก้ไขครั้งแรก“ ” เป็น“ ” เพื่อแยกความแตกต่างของฟังก์ชั่นที่เป็นนามธรรมจากคลาส abstraction แล้วเปลี่ยน“ ” เป็น“ ” เพื่อความสะดวกในการพิมพ์ ที่มานี้ถูกรายงานใน [Rosser, 1984, p.338] ในอีกด้านหนึ่งในปีต่อ ๆ มาศาสนจักรบอกผู้สมัครสองคนว่าการเลือกนั้นเป็นเรื่องบังเอิญมากขึ้น: จำเป็นต้องมีสัญลักษณ์และ“ ” เพิ่งถูกเลือก$\lambda$$\hat{x}$$\hat{x}$$\wedge x$$\wedge$$\lambda$$\lambda$

นี่คือข้อมูล / มุมใกล้อื่น ๆ เกี่ยวกับเรื่องนี้โดยนักเรียนโบสถ์ Dana Scott ที่เพิ่งรายงานโดยGhicaและบันทึกไว้ในวิดีโอ youtube [1]

เขาบอกว่าเมื่อถามคริสตจักรว่าความหมายของλคืออะไรเขาแค่ตอบ“ อีนีย์เมนีมินนี่โม” ซึ่งสามารถหมายถึงสิ่งเดียวเท่านั้น มันเป็นตัวเลือกแบบสุ่มไม่มีความหมาย ศาสตราจารย์สกอตต์อ้างว่าตำนานต้นกำเนิดจากการพิมพ์นั้นส่วนใหญ่เผยแพร่โดย Henk Barendregt และเป็นเพียงแค่จินตนาการที่บริสุทธิ์ เขาขอให้เราหยุดการทำเรื่องโง่ ๆ นี้

[1] Dana Scott บนเครื่องหมายแลมบ์ดา / youtube

[2] ทำไมแคลคูลัสแลมบ์ดาจึงตั้งชื่อนั้น / math.SE