Về các số có thể tính toán
thời gian: Thứ Hai Thg 11 30, 1936
Địa điểm: Anh
chi tiết: Turing đã xuất bản bài báo "Về các số có thể tính toán, với một ứng dụng cho Entscheidungsproblem". Nó được xuất bản trên tạp chí Proceedings of the London Mathematical Society thành hai phần, phần đầu vào ngày 30 tháng 11 và phần thứ hai vào ngày 23 tháng 12. Trong bài báo này, Turing đã tái cấu trúc các kết quả năm 1931 của Kurt Gödel về giới hạn của chứng minh và tính toán, thay thế ngôn ngữ hình thức dựa trên số học phổ quát của Gödel bằng các thiết bị giả định đơn giản và hình thức mà sau này được gọi là máy Turing. Entscheidungsproblem (bài toán quyết định) ban đầu được nhà toán học người Đức David Hilbert đặt ra vào năm 1928. Turing đã chứng minh rằng "máy tính vạn năng" của mình sẽ có khả năng thực hiện bất kỳ phép tính toán học nào có thể hình dung được nếu nó có thể 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ó lời giải cho bài toán quyết định bằng cách chỉ ra rằng bài toán dừng cho máy Turing là không thể quyết định được: Không thể quyết định bằng thuật toán liệu một máy Turing có bao giờ dừng lại hay không.
Có thể chứa lỗi.
Sắp xếp theo nỗ lực tốt nhất. Một số sự kiện có thể xuất hiện không theo thứ tự vì nhiều sự kiện chỉ được biết đến theo năm, nhưng chúng thường nằm trong cùng một giai đoạn.
Liên quan
Gần
























































































































































































Hôm nay - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































