Ini tampaknya benar dalam konteks (beberapa bidang) ilmu komputer tetapi tidak secara umum.
Salah satu alasan berkaitan dengan Tesis Gereja. Alasan utama adalah bahwa beberapa ahli seperti Godel tidak berpikir bahwa argumen bahwa model komputasi sebelumnya / lainnya menangkap konsep komputasi intuitif yang meyakinkan. Ada berbagai argumen, Gereja punya beberapa, tetapi mereka tidak meyakinkan Godel. Di sisi lain analisis Turing itu meyakinkan untuk Godel sehingga diterima sebagai yang model untuk perhitungan yang efektif. Kesetaraan antara model yang berbeda terbukti kemudian (saya pikir oleh Kleene).
Alasan kedua adalah teknis dan perkembangan selanjutnya terkait dengan studi teori kompleksitas. Menentukan ukuran kompleksitas seperti waktu, ruang, dan nondeterminisme tampaknya lebih mudah menggunakan mesin Turing daripada model lain seperti fungsi -calculus dan -recursive.μλμ
Di sisi lain, fungsi rekursif dulu dan masih digunakan sebagai cara utama untuk mendefinisikan komputabilitas dalam buku teori logika dan komputabilitas. Mereka lebih mudah untuk dikerjakan ketika seseorang hanya peduli tentang efektivitas dan bukan tentang kompleksitas. Buku Kleene "Metamathematics" sangat berpengaruh untuk perkembangan ini. Juga -calculus tampaknya lebih umum di CMU / ilmu komputer gaya Eropa seperti bahasa pemrograman dan tipe teori. Beberapa penulis lebih suka model RAM dan Mesin Register. (Sepertinya saya bahwa karena alasan tertentu orang Amerika mengadopsi model semantik Turing dan Eropa mengadopsi model sintaksis Gereja, Chruch adalah orang Amerika dan Turing adalah orang Inggris. Ini pendapat / pengamatan pribadi dan yang lain memiliki pandangan berbedaλμλ. Lihat juga makalah ini oleh Viggo Stoltenberg-Hansen dan John V. Tucker I , II .)
Beberapa sumber untuk bacaan lebih lanjut:
Robert I. Soare memiliki sejumlah artikel tentang sejarah perkembangan ini, saya pribadi suka yang ada di Buku Pegangan Teori Komputasi. Anda dapat menemukan lebih banyak dengan memeriksa referensi di makalah itu.
Sumber lain yang bagus adalah artikel komputabilitas Neil Immerman tentang SEP, lihat juga artikel Tesis Gereja-Turing oleh B. Jack Copeland.
Karya -karya yang dikumpulkan Godel berisi banyak informasi tentang pandangannya. Pengantar khusus untuk artikelnya ditulis dengan sangat baik.
" Metamathematics " karya Kleene adalah buku yang sangat bagus.
Terakhir, jika Anda masih belum puas, periksa arsip milis FOM , dan jika Anda tidak dapat menemukan jawaban di arsip, poskan email ke milis.