Những gì Lamb Lambda trong trong Lamb Lambda tính toán là viết tắt của từ gì?

Gần đây tôi đã đọc về phép tính Lambda nhưng kỳ lạ là tôi không thể tìm thấy lời giải thích cho lý do tại sao nó được gọi là "Lambda" hoặc từ đó biểu thức đến từ đâu.

Bất cứ ai có thể giải thích nguồn gốc của thuật ngữ?

Một đoạn trích từ Lịch sử tính toán Lambda và Logic kết hợp của F. Cardone và JR Hindley (2006):

Nhân tiện, tại sao Giáo hội lại chọn ký hiệu đó là lamb ? Trong [Giáo Hội, 1964, §2] ông nêu rõ rằng nó đến từ các ký hiệu “ \ ” sử dụng cho đẳng cấp trừu tượng bởi Whitehead và Russell, bằng cách thay đổi đầu tiên “ \ ” thành “ \ ”để phân biệt chức năng trừu tượng từ đẳng cấp trừu tượng, và sau đó thay đổi‘ ’thành‘ ’để dễ in ấn. Nguồn gốc này cũng đã được báo cáo trong [Rosser, 1984, tr.338]. Mặt khác, trong những năm cuối đời, Church nói với hai nhà thám hiểm rằng sự lựa chọn này là tình cờ hơn: một biểu tượng là cần thiết và khăn đã tình cờ được chọn.$\lambda$$\hat{x}$$\hat{x}$$\wedge x$$\wedge$$\lambda$$\lambda$

đây là một số thông tin / góc nhìn gần như khác về điều này bởi sinh viên Church, Dana Scott, vừa được Ghica báo cáo và ghi lại trong một video youtube. [1]

Anh ta nói rằng khi Church được hỏi ý nghĩa của là gì, anh ta chỉ trả lời về E Eeen, meeny, miny, moe., Điều đó chỉ có nghĩa là một điều. Đó là một sự lựa chọn ngẫu nhiên, vô nghĩa. Giáo sư Scott tuyên bố rằng huyền thoại nguồn gốc đánh máy chủ yếu được truyền bá bởi Henk Barendregt và chỉ đơn thuần là hay thay đổi. Ông yêu cầu chúng tôi ngừng tiếp tục câu chuyện ngớ ngẩn này.

[1] Dana Scott trên ký hiệu lambda / youtube

[2] tại sao phép tính lambda được đặt tên là / math.SE