Nguyên_lý của máy_tính hiện_đại lần đầu_tiên được mô_tả bởi nhà toán_học và nhà_khoa_học máy_tính tiên_phong Alan_Turing , người đã đưa ra ý_tưởng này trong bài báo xuất_bản năm 1936 của mình , Về những con_số có_thể tính_toán được .Turing đã trình_bày lại kết_quả năm 1931 của Kurt_Gödel về các giới_hạn của bằng_chứng và tính_toán , thay_thế ngôn_ngữ_hình_thức phổ_quát dựa trên số học của Gödel bằng các thiết_bị giả_thuyết hình_thức và đơn_giản được gọi là máy Turing .Ông đã chứng_minh rằng một_số loại máy như_vậy sẽ có khả_năng thực_hiện bất_kỳ phép_tính toán_học nào có_thể tưởng_tượng được nếu nó có_thể được biểu_diễn dưới dạng thuật_toán .Ông tiếp_tục chứng_minh rằng không có giải_pháp nào cho bài_toán Entscheidungs bằng cách trước_tiên chỉ ra rằng vấn_đề dừng đối_với máy Turing là không_thể giải_quyết được : nói_chung , không_thể quyết_định bằng thuật_toán liệu một máy Turing nhất_định có bao_giờ dừng hay không .
Alan_Turing viết bài báo " Về những con_số có_thể tính_toán " khi nào ?
1936