- Bắt đầu
- 12 thg 11, 1936ĐỘ TIN CẬY 90%từ nguồn
Turing nộp bài On Computable Numbers
Được dịch tự động từ bản gốc
Tiêu đề gốc: Turing Submits On Computable Numbers
- Turing đã nộp "On Computable Numbers, with an Application to the Entscheidungsproblem" vào ngày 12 tháng 11 năm 1936; bài được công bố lần đầu năm 1937[2]
- Đây là chứng minh thứ hai, sau định lý của Church, rằng Entscheidungsproblem của Hilbert không có lời giải - rằng một số câu hỏi có-không thuần túy toán học không bao giờ có thể được trả lời bằng tính toán[2]
- Turing công bố "A Correction" vào năm 1938[2]
- Cỗ máy trừu tượng mà bài báo định nghĩa để đưa ra lập luận là mô hình tính toán mà mọi máy tính lưu trữ chương trình từ đó đến nay đều được đo lường theo[1][3]
Tài liệu tham khảo 3ĐỘ TIN CẬY 88%Độ tin cậy tổng thể: 88%Mức độ nguồn và tài liệu tham khảo của ghim củng cố các ngày của nó.Trung bình có trọng số về mức độ 3 tài liệu, gồm cả nguồn, ủng hộ thời điểm bắt đầu và kết thúc của ghim; một tài liệu được tính giảm một nửa cho mỗi 180 ngày cũ hơn tài liệu mới nhấtHiện tất cả ghim có độ tin cậy từ 75% trở lên
Mục đầu tiên luôn là nguồn của ghim. Độ tin cậy tổng thể là trung bình có trọng số về mức độ mỗi tài liệu ủng hộ thời điểm bắt đầu và kết thúc được dùng ở trên; một tài liệu được tính giảm một nửa cho mỗi 180 ngày cũ hơn tài liệu mới nhất.
- [1]90%cs.virginia.edu/~robins/Turing_Paper_1936.pdfcs.virginia.edu· Đăng 22 thg 9, 2026· Bắt đầu 12 thg 11, 1936 ✓· 33% điểm số
Bài viết trên Wikipedia[2][3] về chứng minh của Turing ghi ngày nộp bài không úp mở: "Chứng minh của Turing là một chứng minh của Alan Turing, được nộp vào ngày 12 tháng 11 năm 1936 và được công bố lần đầu năm 1937 với tựa đề 'On Computable Numbers, with an Application to the Entscheidungsproblem'." Ghim là lần nộp bài, hành động có ghi ngày; số Proceedings of the London Mathematical Society đăng bài này đề năm 1937.
- [2]90%Turing's proofen.wikipedia.org· Thêm 22 thg 9, 2026· 33% điểm số
Dates the submission and publication and explains what the paper proves: "the second proof (after Church's theorem) of the negation of Hilbert's Entscheidungsproblem... that some decision problems are 'undecidable'".[1]
- [3]85%Alan Turingen.wikipedia.org· Thêm 22 thg 9, 2026· 33% điểm số
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
Đề xuất chỉnh sửa
Thiếu hay sai điều gì? Hãy nói bằng lời của bạn: một liên kết củng cố ghim này, một ngày bắt đầu hoặc kết thúc khác kèm lý do, hoặc một thông tin còn thiếu hay sai. AI đối chiếu với các nguồn của ghim này, tìm nguồn tốt hơn và thêm mọi trang ủng hộ bạn. Các nguồn của chính ghim vẫn được tính nhiều nhất. Hình ảnh thể hiện nội dung khác hoặc thể hiện kém cũng được xem xét, rồi bị hạ xuống hoặc thay thế.
