Trong Meta Math của Chaitin ! The Quest For Omega , anh nói ngắn gọn về vấn đề thứ 10 của Hilbert. Sau đó, ông nói rằng bất kỳ phương trình Diophantine có thể được thay đổi thành hai đa thức bằng nhau với các hệ số nguyên dương: .
Sau đó, ông nói rằng chúng ta có thể nghĩ về các phương trình này giống như một "máy tính":
Máy tính phương trình diophantine : Chương trình: , Đầu ra: , Thời gian:
Với bên trái , ngay bên . Ông nói là chương trình của máy tính này, đầu ra . Ông cũng nói rằng những ẩn số là một biến thời gian đa chiều .R k n
Điều khiến tôi bối rối là sau đó anh ta nói rằng Vấn đề thứ 10 của Hilbert rõ ràng là không thể giải quyết được khi nhìn theo cách này. Về cơ bản, ông nói "vì vấn đề dừng của Turing". Nhưng tôi không thấy kết nối (Tôi mới bắt đầu học lý thuyết). Tôi đã hy vọng ai đó có thể giải thích rõ hơn quan điểm của Chaitin ở đây.
Tôi biết rằng vấn đề tạm dừng của Turing về cơ bản nói rằng bạn không thể dự đoán khi nào chương trình sẽ tạm dừng trước khi chương trình thực sự tạm dừng (trong một khoảng thời gian hữu hạn). Ứng dụng cho Vấn đề thứ 10 của Hilbert, sử dụng ký hiệu do Chaitin đưa ra là gì?