7
Apa kontribusi kalkulus lambda pada bidang teori perhitungan?
Saya hanya membaca di lambda calculus untuk "mengenalnya". Saya melihatnya sebagai bentuk komputasi alternatif sebagai lawan dari Mesin Turing. Ini adalah cara menarik untuk melakukan sesuatu dengan fungsi / reduksi (secara kasar). Beberapa pertanyaan terus mengganggu saya: Apa gunanya kalkulus lambda? Mengapa harus melalui semua fungsi / reduksi ini? Apa …