Mengapa lambda calculus adalah "calculus"?

11

Satu-satunya definisi "kalkulus" yang saya ketahui adalah studi tentang batas, turunan, integral, dll dalam analisis. Dalam arti apa kalkulus lambda (atau hal-hal seperti kalkulus mu) adalah "kalkulus"? Bagaimana kaitannya dengan kalkulus dalam analisis?

terminology lambda-calculus Alec
sumber
5
Apakah tidak begitu banyak berkaitan dengan Kalkulus atau Analisis, Kalkulus dimaksudkan di sini dalam arti bahwa Anda memiliki aturan yang pasti di mana Anda memanipulasi simbol. Dalam bahasa Jerman disebut "Lambda Kalkül" di mana kata "Kalkül" mengacu pada sistem aturan manipulasi seperti itu, dan Kalkulus hanya disebut "Analisis", sehingga tidak ada gangguan dalam penamaan.
StefanH
5
Kamus saya mengatakan, "kalkulus: metode atau sistem perhitungan atau penalaran tertentu."
Sasho Nikolov

Jawaban:

17

Kalkulus hanyalah sistem penalaran. Satu kalkulus tertentu (yah, sebenarnya dua kalkulus yang berkaitan erat: kalkulus diferensial dan kalkulus integral) telah menjadi begitu luas sehingga hanya dikenal sebagai "kalkulus", seolah-olah itu adalah satu-satunya. Tetapi, seperti yang telah Anda amati, ada kalkulus lain, seperti kalkulus lambda, kalkulus mu, kalkulus pi, kalkulus proposisional, kalkulus predikat, kalkulus sekuens, dan Profesor Kalkulus.

David Richerby
sumber
7

Kalkulus mengacu pada metode sistematis untuk menangani masalah dengan sistem khusus notasi aljabar, umumnya metode perhitungan.

Yannis Ntallas
sumber
Apakah semua kalkulus aljabar? Apakah semua kalkulus adalah aljabar? Jika tidak, apa bedanya atau bagaimana yang khusus vs yang lain?
codeshot