Câu hỏi được gắn thẻ «incompleteness»

5
Có bất kỳ mối quan hệ cụ thể nào giữa định lý không hoàn chỉnh của Gôdel, vấn đề tạm dừng và máy Turing phổ dụng không?
Tôi đã luôn nghĩ mơ hồ rằng câu trả lời cho câu hỏi trên là khẳng định dọc theo các dòng sau. Định lý không hoàn chỉnh của Gôdel và tính không ổn định của vấn đề tạm dừng vừa là kết quả tiêu cực về tính quyết định vừa …



Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.