Tại sao lambda tính toán một tính toán của người Bỉ?

11

Định nghĩa duy nhất về "tính toán" mà tôi biết là nghiên cứu về các giới hạn, đạo hàm, tích phân, v.v. trong phân tích. Theo nghĩa nào thì lambda tính toán (hoặc những thứ như mu tính toán) là một "phép tính"? Làm thế nào nó liên quan đến tính toán trong phân tích?

terminology lambda-calculus

— Alec
nguồn

5

Không liên quan nhiều đến Giải tích hoặc Phân tích, Giải tích có nghĩa ở đây theo nghĩa là bạn có các quy tắc xác định mà bạn thao tác với các biểu tượng. Trong tiếng Đức, nó được gọi là "Lambda Kalkül" trong đó từ "Kalkül" dùng để chỉ các hệ thống quy tắc thao túng như vậy, và Giải tích chỉ được gọi là "Phân tích", do đó không có sự can thiệp nào trong việc đặt tên.

— StefanH

5

Từ điển của tôi nói, "tính toán: một phương pháp hoặc hệ thống tính toán hoặc lý luận cụ thể."

— Sasho Nikolov

17

Một phép tính chỉ là một hệ thống lý luận. Một phép tính cụ thể (tốt, thực ra là hai phép tính liên quan chặt chẽ: phép tính vi phân và phép tính tích phân) đã trở nên phổ biến đến mức nó chỉ được gọi là "phép tính", như thể nó là phép tính duy nhất. Nhưng, như bạn đã quan sát, có các phép tính khác, như phép tính lambda, phép tính mu, phép tính pi, phép tính mệnh đề, phép tính vị ngữ, phép tính tuần tự và phép tính của giáo sư.

— David Richerby
nguồn

7

Giải tích đề cập đến các phương pháp xử lý các vấn đề có hệ thống bằng một hệ thống đặc biệt của các ký hiệu đại số, nói chung là một phương pháp tính toán.

— Yannis Ntallas
nguồn

Có phải tất cả các đại số tính toán? Có phải tất cả các tính toán đại số? Nếu không, sự khác biệt hoặc làm thế nào là một chuyên ngành so với khác?

— codeshot