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 được thiết lập bởi các đối số đường chéo (và trong những năm 1930), do đó, bằng cách nào đó chúng phải là hai cách để xem cùng một vấn đề. Và tôi nghĩ rằng Turing đã sử dụng một máy Turing phổ dụng để chỉ ra rằng vấn đề tạm dừng là không thể giải quyết được. (Xem thêm câu hỏi toán học này. EE .)
Nhưng bây giờ (dạy một khóa học về khả năng tính toán) Tôi nhìn kỹ hơn vào những vấn đề này, tôi khá hoang mang với những gì tôi tìm thấy. Vì vậy, tôi muốn một số trợ giúp với việc nói thẳng suy nghĩ của tôi. Tôi nhận ra rằng một mặt đối số đường chéo của Gôdel rất tinh tế: nó cần rất nhiều công việc để xây dựng một tuyên bố số học có thể được hiểu là nói điều gì đó về tính khả biến của chính nó. Mặt khác, bằng chứng về tính không ổn định của vấn đề tạm dừng mà tôi tìm thấy ở đây là cực kỳ đơn giản và thậm chí không đề cập rõ ràng đến máy Turing, chứ đừng nói đến sự tồn tại của máy Turing phổ dụng.
Một câu hỏi thực tế về máy Turing phổ dụng là liệu tầm quan trọng của bảng chữ cái của máy Turing phổ có giống với máy Turing mà nó mô phỏng không. Tôi nghĩ rằng điều đó là cần thiết để tạo ra một đối số đường chéo thích hợp (có máy tự mô phỏng), nhưng tôi không tìm thấy bất kỳ sự chú ý nào cho câu hỏi này trong bộ sưu tập mô tả hoang mang mà tôi tìm thấy trên mạng. Nếu không phải là vấn đề tạm dừng, các máy Turing phổ dụng có hữu ích trong bất kỳ đối số đường chéo nào không?
Cuối cùng tôi bối rối bởi phần tiếp theo nàycủa cùng một bài viết WP, nói rằng một dạng yếu hơn của sự không hoàn hảo của Gôdel xuất phát từ vấn đề tạm dừng: "một tiên đề hoàn chỉnh, nhất quán và đúng đắn của tất cả các tuyên bố về các số tự nhiên là không thể chấp nhận được" trong đó "âm thanh" được coi là sự suy yếu. Tôi biết một lý thuyết là nhất quán nếu người ta không thể rút ra được mâu thuẫn, và một lý thuyết hoàn chỉnh về số tự nhiên dường như có nghĩa là tất cả các phát biểu đúng về số tự nhiên có thể được suy ra trong đó; Tôi biết Gôdel nói rằng một lý thuyết như vậy không tồn tại, nhưng tôi không thấy làm thế nào một con thú giả định như vậy có thể không thể phát ra âm thanh, tức là, cũng đưa ra những tuyên bố sai cho các số tự nhiên: sự phủ định của tuyên bố như vậy là đúng và do đó bằng sự hoàn chỉnh cũng có thể dẫn xuất được, điều này sẽ mâu thuẫn với tính nhất quán.
Tôi sẽ đánh giá cao bất kỳ sự làm rõ về một trong những điểm này.