Câu trả lời:
Đúng, định lý của Rice đối với các thực thể giữ trong mọi phiên bản hợp lý của các thực thể tính toán.
Trước tiên tôi sẽ chứng minh một định lý nhất định và một hệ quả, và giải thích những gì nó phải làm với khả năng tính toán sau này.
Định lý: Giả sử là một bản đồ và một , b ∈ R hai số thực mà p ( một ) = 0 và p ( b ) = 1 . Sau đó, tồn tại một chuỗi Cauchy ( x i ) i sao cho p ( lim i x i ) ≠ p ( x j ) cho tất cả j .
Bằng chứng. Chúng tôi xây dựng một chuỗi các cặp thực như sau: ( y 0 , z 0 )
Do đó, các chuỗi và ( z i ) i là Cauchy và chúng hội tụ đến một điểm chung c = lim i y i = lim i z i . Nếu p ( c ) = 0 thì ta lấy ( x i ) i = ( z i ) i và nếu p ( c ) = 1 thì ta lấy ( x . ◻
Hệ quả: Giả sử và a , b ∈ R hai số thực sao cho p ( a ) = 0 và p ( b ) = 1 . Sau đó, mọi máy Turing sẽ chạy mãi mãi hoặc nó không chạy mãi mãi.
Bằng chứng. Bởi định lý, có một dãy Cauchy như rằng p ( x j ) ≠ p ( lim i x i ) cho tất cả j ∈ B . Không mất tính tổng quát, chúng ta có thể giả sử rằng p ( x j ) = 1 và p ( lim i x i ) = 0 .
Đặt là máy Turing. Xác định một chuỗi y i bởi y i = { x j nếu T dừng lại ở bước j và j ≤ i x i nếu T không dừng lại trong các bước i Trình tự được xác định rõ vì chúng tôi có thể mô phỏng T theo i bước và quyết định xem nó đã dừng lại hoặc không trong nhiều bước. Tiếp theo, hãy quan sát rằng ( y i ) i là một chuỗi Cauchy vì ( x i )
Bây giờ chúng ta có thể giải thích tại sao điều này mang lại cho chúng ta định lý Rice cho các số thực. Các bằng chứng mang tính xây dựng, do đó chúng mang lại các thủ tục tính toán. Điều này đúng với bất kỳ mô hình tính toán nào và bất kỳ cấu trúc tính toán nào của các thực thể xứng đáng được gọi như vậy. Trên thực tế, bạn có thể quay lại và đọc bằng chứng dưới dạng hướng dẫn để xây dựng chương trình - tất cả các bước đều có thể tính toán được.
là hằng số.
Bổ sung: Cũng có một câu hỏi về việc liệu định lý của Rice có liên quan đến sự kết nối của thực tế hay không. Vâng, về cơ bản là tuyên bố rằng các thực tế được kết nối.
Không. Hoặc, ít nhất, bằng chứng không tầm thường, vì bạn có thể chọn trong số các cách có thể (nói chung là nhiều) có thể để tính toán thực và có thể chọn một cách có cấu trúc là tổng tài sản được chọn sao cho bạn không giảm việc kiểm tra tài sản đối với vấn đề tạm dừng.
Ngoài ra, tôi nghĩ rằng tôi cần hiểu rõ hơn về "không tầm thường" nghĩa là viết các thuộc tính của số. Đối với định lý của Rice, "không cần thiết" về cơ bản là không cú pháp và không được ngụ ý theo cú pháp. Tuy nhiên, mỗi số thực tính toán không phải là một chương trình, mà là một lớp tương đương có đầy đủ các chương trình.