Từ tháng 9 năm 1936 đến tháng Bảy năm 1938, Turing đã dành hầu hết thời gian của mình nghiên cứu do Giáo Hội tại Đại học Princeton. Ngoài công việc thuần túy toán học của mình, ông đã nghiên cứu mật mã và cũng xây dựng ba bốn giai đoạn của một số nhân nhị phân cơ điện [37] Trong tháng 6 năm 1938, ông lấy bằng tiến sĩ từ Princeton;. [38] luận án của mình, hệ thống của Logic Dựa trên hoặc thứ tự, [39] [40] giới thiệu các khái niệm của logic thứ tự và ý niệm về tính tương đối, nơi các máy Turing được tăng cường với cái gọi là thầy mo, cho phép một nghiên cứu về các vấn đề mà không thể được giải quyết bằng một máy Turing.
đang được dịch, vui lòng đợi..