แอลัน ทัวริง
แอลัน ทัวริงเป็นชาวอังกฤษ เกิดเมื่อปี พ.ศ. 2455 (ค.ศ. 1912) ที่ลอนดอน และอาศัยอยู่กับพี่ชาย บิดาและมารดาของทัวริงพบกันและทำงานที่ประเทศอินเดีย
ปัญหาการยุติการทำงาน
แอลัน ทัวริง (Alan Turing) พิสูจน์ในปี ค.ศ. 1936 ว่า ไม่มีขั้นตอนวิธีที่แก้ปัญหาการยุติการทำงานสำหรับข้อมูลป้อนเข้าใด ๆ ได้ทั้งหมดบนเครื่องจักรทัวริ่ง จึงกล่าวว่าปัญหาการยุติการทำงานนี้ไม่สามารถตัดสินได้