Alan Turing
1912–1954, London, Anh, Wilmslow, Cheshire, Anh
Nhà toán học và logic học người Anh; định nghĩa máy tính trừu tượng mang tên ông, đặt nền móng lý thuyết cho khoa học máy tính, và giữ vai trò trung tâm trong nỗ lực phá các mật mã Enigma của Đức thời chiến.
Alan Turing vào King's College, Đại học Cambridge, năm 1931 và được bầu làm nghiên cứu viên (fellow) năm 1935 nhờ công trình chứng minh định lý giới hạn trung tâm, mà ông tìm ra độc lập, không biết kết quả đã có người chứng minh. Năm 1936, ông công bố bài báo "Về các số khả tính, với một ứng dụng cho bài toán Entscheidungsproblem", giới thiệu một thiết bị trừu tượng — nay gọi là máy Turing — đọc và ghi ký hiệu trên băng theo một bảng quy tắc hữu hạn. Ông dùng nó để chứng minh không thuật toán nào có thể quyết định, với mọi mệnh đề trong logic bậc nhất, mệnh đề đó có đúng về mặt logic hay không (tương đương, có chứng minh được trong một hệ hình thức đúng và đầy đủ hay không), qua đó giải quyết bài toán Entscheidungsproblem của Hilbert theo hướng phủ định, đồng thời đưa ra định nghĩa chặt chẽ đầu tiên, độc lập với máy móc cụ thể, về khái niệm tính toán.
Sau khi làm nghiên cứu sinh tại Princeton dưới sự hướng dẫn của Alonzo Church, Turing trở về Anh và từ năm 1939 làm việc tại Trường Mật mã Chính phủ, Bletchley Park. Tại đây ông giữ vai trò trung tâm trong việc phá mật mã Enigma của Đức, cùng thiết kế máy điện cơ Bombe dùng để giải mã lưu lượng Enigma của không quân, rồi sau đó của hải quân Đức — công việc đã rút ngắn cuộc chiến và được giữ bí mật suốt nhiều thập niên.
Nơi làm việc: King's College, Đại học Cambridge, Trường Mật mã Chính phủ Anh, Bletchley Park, Đại học Manchester
Vương quốc Anh