ข้อสมมติ Church-Turing
ยุค: ยุคทฤษฎีเบื้องต้น · ทศวรรษ 1930–ทศวรรษ 1950
Alonzo Church และ Alan Turing ได้เสนอข้อสมมติ Church-Turing อันโด่งดังอย่างอิสระต่อกัน ข้อสมมตินี้กล่าวว่าฟังก์ชันใดที่คำนวณได้อย่างมีประสิทธิภาพ ฟังก์ชันนั้นจะคำนวณได้โดยเครื่อง Turing ซึ่งเป็นการทำให้แนวคิดเชิงสัญชาตญาณเรื่อง “ความสามารถในการคำนวณ” เป็นรูปนัย และกลายเป็นรากฐานของวิทยาการคอมพิวเตอร์
Alonzo Church & Alan Turing
แหล่งที่มาและหลักฐาน
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · ประเภทแหล่งที่มา: secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
เข้าถึง: