แอลัน แมธิสัน ทัวริง เกิดที่ไหน ?
แอลัน ทัวริง
ปี พ.ศ. 2477 ทัวริงก็จบจากมหาวิทยาลัยเคมบริดจ์ ด้วยเกียรตินิยมอันดับหนึ่ง ทางมหาวิทยาลัยก็เลยเชิญเขาอยู่เป็น Fellow ด้านคณิตศาสตร์ต่อ (ส่วนใหญ่ Fellow ของเคมบริดจ์จะเป็นพวกที่จบปริญญาเอก แต่ทัวริงจบเพียงปริญญาตรี) ปี พ.ศ. 2478 ทัวริงไปเรียนกับจอห์น ฟอน นอยมันน์ เรื่อง ปัญหาของการตัดสินใจ (Entscheidungs problem) ที่ถามว่า "Could there exist, at least in principle, a definite method or process by which it could be decided whether any given mathematical assertion was provable?" ทัวริงก็เลยมาคิด ๆ โดยวิเคราะห์ว่า คนเราทำอย่างไรเวลาทำงานที่เป็นกระบวนการที่มีกฎเกณฑ์ (methodical process) แล้วก็นึกต่อว่า วางกรอบว่าให้เป็นอะไรซักอย่างที่สามารถทำได้อย่างเป็นกลไก (mechanically) ล่ะ? เขาก็เลยเสนอทฤษฏีออกมาเป็น "The analysis in terms of a theoretical machine able to perform certain precisely defined elementary operations on symbols on paper tape". โดยยกเรื่องที่เขาคิดมาตั้งแต่เด็กว่า 'สถานะความคิด' (state of mind) ของคน ในการทำกระบวนการทางความคิด มันเกี่ยวกับการเก็บ และเปลี่ยนสถานะจากจุดหนึ่งไปอีกจุดหนี่ง ได้ตามการกระทำทางความคิด โดยทัวริงเรียกสิ่งนี้ว่า คำสั่งตรรกะ (logical instructions) แล้วก็บอกว่าการทำงานต้องมี กฎเกณฑ์ที่แน่นอน (definite method) (ต่อมาเรียกว่า ขั้นตอนวิธี)