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

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

相关小说

魔神对决 连载中
魔神对决
191***612
为了战胜邪恶势力,叶寻与千颜克服重重困难去寻找上古神兽,只为最终一战,给世界一个和平。
10.1万字4个月前
神殒大陆1 连载中
神殒大陆1
路过人间恋凡尘
墨岁愿回归到原本世界与身边人守护一方平安男主:雪净泽女主:墨岁愿
4.3万字4个月前
重生后我成了师尊的道侣 连载中
重生后我成了师尊的道侣
灵希雅
【扶渊VS晏临羲,1V1,双洁】已签约,禁转载前世,扶渊看着晏临羲一身红衣死在了大婚之日,因为他。重生后,他决定拜晏临羲为师,却扯出了他前世......
16.1万字4个月前
异食谱 连载中
异食谱
一溪云
【已签约】千劫是个吃货……上学任务重,更新时间不定,一般比较晚,但一天一更可以保证!
15.7万字4个月前
上邪令:山雨欲来半浮沉 连载中
上邪令:山雨欲来半浮沉
时光不是时光
梦醒了,生与死的人往复循环,街头新添了男丁女娃,巷尾走了耄耋老人,悲痛快乐只是短暂的,生活并没有多大的影响一切都在往复交替,我们终将成为被遗......
8.2万字4个月前
小狐狸的异世行 连载中
小狐狸的异世行
温家二姑娘
一只九尾灵狐意外掉落异世从此开启异世修行的二三事。
9.5万字4个月前