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

元数学:复杂度、随机性与不完备(二) (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),接着再看更方便。

相关小说

天降系统,我变美变有钱了 连载中
天降系统,我变美变有钱了
外门弟子
神豪系统,日入两万。看普女王灿灿如何变美变有钱。排雷:小白文,不会出现撒钱情节。感谢大家支持!
5.3万字9个月前
椒盐虾封面铺 连载中
椒盐虾封面铺
逐吱吱咕咕
看第一张无偿滴可以下单(又菜玩的又花油菜花型选手)收藏就好了√一直接☆有偿的话一直在接(联系方式在作者说)低层琢卮,欢迎美工老师跟我扩列!!......
0.3万字9个月前
恋与伤 连载中
恋与伤
D王后
玄幻+虐恋+权谋+命相系+一本坏人泛滥的小说。讲述了四个大陆之间的感情纠葛。长篇小说!在欺骗,利用,谎言,杀戮,绝情中渲染虐的爱恋。每一次相......
77.4万字9个月前
校园特工神 连载中
校园特工神
洛洛尔
重生前她为特工重生后她复活归来他遇见了她,前世今生,定将厮守。【女主云笺,男主斯泽,1v1绝对身心健康】
3.7万字9个月前
小魔女暴露啦!-d218 连载中
小魔女暴露啦!-d218
君邵大大
这人很懒,啥都没写。
1.7万字9个月前
恰似星落满天河(星拟) 连载中
恰似星落满天河(星拟)
洛carllke
“Itmakesitpossibleformetobuymorestars.我会买下更多星星。”——小王子⭐观前须知本文为星座OC相关故事唯......
2.6万字9个月前