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