数学联邦政治世界观
超小超大

元数学:复杂度、随机性与不完备(二) (4-1)

Chaitin (1987):

Exponential Diophantine Equation #1

Program(n,k) calculates the kth approximation to Ω,in the manner explained in a previous section.Then Program(n,k) looks at the nth bit of this approximate value for Ω.If this bit is a 1,then Program(n,k) immediately halts;otherwise it loops forever.

So Program(n,k) halts if and only if

(the nth bit in the kth approximation to Ω) is a 1.

As k gets larger and larger,the nth bit of the kth approximation to Ω will eventually settle down to the correct value. Therefore for all

sufficiently large k:

Program(n,k) will halt if the nth bit of Ω is a 1.

and Program(n,k) will fail to halt if the nth bit of Ω is a 0.

Using all the work on Hilbert’s 10th problem that we explained in Chapter Two,we immediately get an exponential diophantine

equation

L(n,k,x,y,z,...) = R(n,k,x,y,z,...)

that has exactly one positive-integer solution if Program(n,k)eventually halts,

and that has no positive-integer solution if Program(n,k) never halts.

Therefore,fixing n and considering k to be an unknown,this exact same equation

L(n,k,x,y,z,...) = R(n,k,x,y,z,...)

has infinitely many solutions if the nth bit of Ω is a 1,

and it has only finitely many solutions if the nth bit of Ω is a 0.

Ord,Kieu (2003):

Exponential Diophantine Equation #2

Program(n,k) halts if and only if k>0 and

2"×(jth approximation to Ω) > k

for some j=1,2,3,...

So Program(n,k) halts if and only if 2"×Ω > k > 0.

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

奥特兄弟(亲情文) 连载中
奥特兄弟(亲情文)
紫萱_94317026140035694
奥特兄弟和孩子们的快乐活动
0.1万字12个月前
萌萌小师妹要高冷 连载中
萌萌小师妹要高冷
绿野千鹤芷
热血修仙,且看赵萌萌不一样的修仙生涯。
35.2万字12个月前
念婆 连载中
念婆
麻球团团
到了孟婆湾过了孟婆桥喝了孟婆汤,前尘往事忘若遇到不愿亦是不肯喝汤者也会在孟婆的敲打下乖乖喝汤.奈何总有一些鬼魂.执念太深,即使喝汤,也无济于......
5.7万字12个月前
十二星座系列:摩羯陨落 连载中
十二星座系列:摩羯陨落
XZGYYDS
0.9万字12个月前
爆裂飞车之昭岚的爱河 连载中
爆裂飞车之昭岚的爱河
昭岚永恒
主昭岚昭岚永恒玄幻言情
0.3万字12个月前
朝夕:我的现实,衫衫来迟 连载中
朝夕:我的现实,衫衫来迟
霂羽Serain
«朝夕»:——昏暗的世界里,谁会成为那一把燎原之火?你的未来在你手中,希望会残存吗?梦想会永在吗?一切都在你打开这本书时开始转动。(不是纯乙......
16.6万字12个月前