Saya pernah membaca bahwa pada awalnya Gereja mengusulkan -calculus sebagai bagian dari postulat makalah Logic-nya (yang merupakan bacaan padat). Tetapi Kleene membuktikan "sistem" -nya tidak konsisten setelah itu, Gereja mengekstraksi hal-hal yang relevan untuk karyanya tentang "komputabilitas yang efektif" dan mengabaikan karyanya yang sebelumnya tentang logika.
Jadi seperti yang saya pahami, sistem dan notasinya mengambil bentuk sebagai bagian dari sesuatu yang berkaitan dengan logika. Apa yang awalnya Gereja coba capai yang dia potong kemudian? Apa alasan awal untuk membuat -calculus?