有人能解释下蔡廷常数(Chaitin's constant)吗?

搬运,转需:
王博文:计算机能不能真正意义上存储一个无理数?链接的回答,正面分析了蔡廷常数(Ω,omega)的不可计算性。
还有蔡廷(chaitin)本人的说明文稿链接,以便读者自己考证。

■网友
首先要注意的是:蔡廷常数(Chaitin\u0026#39;s constant)作用于通用图灵机 【有人能解释下蔡廷常数(Chaitin's constant)吗?】 有人能解释下蔡廷常数(Chaitin's constant)吗?
上。
考虑这个 有人能解释下蔡廷常数(Chaitin's constant)吗?
的一个程序 有人能解释下蔡廷常数(Chaitin's constant)吗?
其拥有的位数(length)记为 有人能解释下蔡廷常数(Chaitin's constant)吗?

现在,考虑这一个 有人能解释下蔡廷常数(Chaitin's constant)吗?
限制在 有人能解释下蔡廷常数(Chaitin's constant)吗?
位: 有人能解释下蔡廷常数(Chaitin's constant)吗?
或记作 有人能解释下蔡廷常数(Chaitin's constant)吗?

这个 有人能解释下蔡廷常数(Chaitin's constant)吗?
会停机的概率记作 有人能解释下蔡廷常数(Chaitin's constant)吗?
(不涉及到任意 有人能解释下蔡廷常数(Chaitin's constant)吗?
:停机问题的弱化)
当 有人能解释下蔡廷常数(Chaitin's constant)吗?
时取所有 有人能解释下蔡廷常数(Chaitin's constant)吗?
的停机的概率 sum(涉及到任意 有人能解释下蔡廷常数(Chaitin's constant)吗?
)就是 Chaitin\u0026#39;s constant:有人能解释下蔡廷常数(Chaitin's constant)吗?

最后蔡廷常数不可计算:等价于图灵停机问题。

■网友
他没有说什么编程语言,也没说是否图灵完备,那么我设计一种不会循环也不会报语法错误的语言好了内存置0,置1,取反,移动内存指针,没有goto。那么可终止概率就是1了


    推荐阅读