Nguyên tắc của máy tính hiện đại được mô tả lần đầu tiên bởi nhà toán học và nhà khoa học máy tính tiên phong Alan Turing, người đã đặt ra ý tưởng trong 1936 tờ giấy của mình, trên các con số Computable. Turing reformulated Kurt Gödel là 1931 kết quả về các giới hạn của chứng minh và tính toán, thay thế ngôn ngữ chính thức của Gödel với các thiết bị giả định chính thức và đơn giản được biết đến như là máy móc Turing. Anh ta đã chứng minh rằng một số chiếc máy như vậy sẽ có khả năng biểu diễn bất kỳ tính toán toán học nào nếu nó được sử dụng như một thuật toán. Anh ấy tiếp tục chứng minh rằng không có giải pháp nào cho cái bằng cách đầu tiên cho thấy rằng vấn đề ngăn cho máy Turing là undecidable: nói chung, nó không thể quyết định algorithmically cho dù một chiếc máy Turing được đưa ra sẽ không bao giờ dừng lại.
Ai đã làm Turing sửa lại kết quả về giới hạn của chứng minh và tính toán vào năm 1931?
Kurt Gödel