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