Logo Lịch sử dự thảo
null

Alan Turing

Turing nhận bằng Tiến sĩ từ Khoa Toán học

Thứ Tư Thg 6 1, 1938
Princeton, New Jersey, Hoa Kỳ

Vào tháng 6 năm 1938, ông nhận bằng Tiến sĩ từ Khoa Toán học tại Princeton; luận án của ông, Hệ thống Logic dựa trên các số thứ tự, đã giới thiệu khái niệm logic thứ tự và khái niệm tính toán tương đối, nơi các máy Turing được tăng cường với cái gọi là các tiên tri (oracles), cho phép nghiên cứu các vấn đề không thể giải quyết được bằng máy Turing. John von Neumann muốn thuê ông làm trợ lý sau tiến sĩ, nhưng ông đã quay trở lại Vương quốc Anh.

Có thể chứa lỗi.