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

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

相关小说

创世物语 连载中
创世物语
空白_80105847273247570
在这个寰宇之中有无数个宇宙,在宇宙中又有无数颗星星,而有多少颗星星,就有多少个正在闪烁着绚烂光芒的梦想!创世物语!梦想物语!“这些梦想可不是......
6.1万字1年前
雅家宋宇辰 连载中
雅家宋宇辰
一颗小西柚YOU
顾玖与宋宇辰的爱情故事
2.2万字1年前
All喜:日出皆黎明 连载中
All喜:日出皆黎明
雾葸
「喜中心/观影体」如果这个世界并没有喜羊羊的存在会发生什么变化狼羊不和平✔四小羊只是平凡羊✔没有走到篮球总决赛✔——全文几乎都为观影体★羊村......
0.6万字1年前
星语星之愿 连载中
星语星之愿
暗星夜梦
【黑历史慎入】何年金屑,飞上玲珑雪,一树风情谁解说,只有盈盈夜月……牡丹红叶相夸,铅华个自名家,为向看花人道,此花不在铅华。一世情缘起……缘......
3.5万字1年前
幽冥花开梦终醒 连载中
幽冥花开梦终醒
雪落琴扬
无数时空的寻找,终于,找到你了……
13.6万字1年前
我的夫君是生肖之首 连载中
我的夫君是生肖之首
宁梦菲
本文讲述一个现代女孩和十二生肖故事,开启了搞笑,又玄幻的旅程,,而且女主又胆小,又爱惹祸,还有一点小撒娇的本事,让我们生肖大人们,又宠溺,又......
4.6万字1年前