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 & Alan Turing
Sumber dan bukti
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Jenis sumber: secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
Diakses: