Mở rộng Eta - tên gốc

Question

Chỉ cần tự hỏi tên đến từ đâu, eta?

Hai điều duy nhất tôi biết về eta là:

• ước tính thời gian đến
• thư thứ bảy của bảng chữ cái Hy Lạp

Answer 1

Dường như rằng các quy tắc đã được chỉ đơn giản là lấy từ đầu bảng chữ cái Hy Lạp:

• α - variable renaming
• β - beta reduction
• γ - (Tôi đã không nhìn thấy bất kỳ quy tắc gamma, nếu bạn có, xin vui lòng cho tôi biết)
• δ - quy tắc tam giác Giáo Hội (xem thông báo rất ngắn trong Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics.):

  δ MN = T nếu M=N và δ MN = F nếu M không phải là N cho tất cả các đóng nf của M và N

• ε - (tôi đã không nhìn thấy bất kỳ quy tắc epsilon)
• ζ - nếu Ux=Vx và x không xảy ra trong UV sau đó U=V
• η - các eta-rule

Một nguồn tin thêm thú vị của thông tin có thể là History of Lambda-calculus and Combinatory Logic bởi F.Cardone và JRHindley, nó có khả năng rằng có một số quy tắc đã bị hủy bỏ từ lâu.