Tesis Church-Turing
Era: Teori Awal · 1930-an–1950-an
Alonzo Church dan Alan Turing secara terpisah mengajukan Tesis Church-Turing yang termasyhur. Tesis ini menyatakan bahwa setiap fungsi yang secara efektif terhitung adalah terhitung-Turing. Dengan demikian gagasan intuitif tentang “keterhitungan” diformalkan, dan tesis itu menjadi landasan ilmu komputer.
Alonzo Church dan Alan Turing
Sumber dan bukti
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Jenis sumber: Ringkasan sekunder
Menjelaskan perumusan-perumusan yang saling independen pada 1936 dan nama “tesis Church-Turing” yang muncul kemudian.
Diakses: