Alan Turing viết bài báo "Về những con số có thể tính toán" khi nào?
Ô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.