Theo nguồn tin này, hằng số Chaitin là bình thường.
Mỗi xác suất tạm dừng là một số thực bình thường và siêu việt không thể tính toán được, điều đó có nghĩa là không có thuật toán để tính các chữ số của nó. Thật vậy, mỗi xác suất tạm dừng là ngẫu nhiên Martin-Löf, có nghĩa là thậm chí không có bất kỳ thuật toán nào có thể đoán được các chữ số của nó một cách đáng tin cậy.
Hơn nữa, định nghĩa của bình thường là mỗi chữ số xảy ra với xác suất bằng nhau . Và rằng mỗi cặp chữ số xảy ra với xác suất và mọi bộ ba xảy ra với xác suất , v.v.
Omega của Chaitin được tính thông qua
Viết trong hệ nhị phân, chúng ta có được một danh sách từ 0 và 1. Ví dụ,
2^-1=0.1 +
2^-2=0.01 +
2^-3=0.001 +
~skip 2^-4 as it does not halt
2^-5=0.00001 +
...
=\Omega
=0.11101...
Rõ ràng, chúng ta có thể thấy rằng vị trí của mỗi bit tương ứng với trạng thái tạm dừng của chương trình có độ dài tương ứng với bit.
Đây là những gì tôi đang đấu tranh với
Nếu thực sự là bình thường, sau đó nó có nghĩa là chính xác 50% các chương trình ngăn chặn và chính xác 50% thì không. Điều này có vẻ rất phản trực quan.
Ví dụ: giả sử tôi tạo các chương trình java bằng cách ghép ngẫu nhiên các ký tự đơn. Phần lớn trong số họ, tôi đoán rằng hơn 99,99% thậm chí sẽ không biên dịch. Điều này sẽ không ngụ ý rằng ít nhất 99,99% trong số họ sẽ không dừng lại? Làm thế nào để chúng tôi chứng minh rằng đúng một nửa sẽ tạm dừng và chính xác một nửa sẽ không, bởi đức hạnh của là bình thường.
Hoặc là wikipedia không chính xác về là bình thường không?