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

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

相关小说

十年如一梦,光芒照人间 连载中
十年如一梦,光芒照人间
异冰纪*
纯女向,不喜勿看,作者大大在上学,第一次写作,大家轻点喷
1.7万字4周前
神的碎叨 连载中
神的碎叨
温浨岭
一个女孩去寻找亲人的道路上,与朋友一同陷入了一场冒险,明白了神到底是什么,也明白了活着的重要性,他们面对困难,面对误会,面对痛苦,但他们也在......
0.5万字4周前
斗龙:金丝雀 连载中
斗龙:金丝雀
洛梦千羽
吸血鬼,qiangzhiai
0.2万字4周前
总有妖精想吃我 连载中
总有妖精想吃我
威武滴花喵
简介正在更新
8.0万字4周前
大佬她神秘莫测 连载中
大佬她神秘莫测
NGL
“大数据上不见TA的踪影,这就意味着在现实生活中没有人知道TA到底是谁!”江易明语气中透露着焦急,现在是特殊时期,必须找到TA!可他们哪里知......
11.7万字4周前
美食大冒险之巧藏之约 连载中
美食大冒险之巧藏之约
悸生
山有木兮木有枝,他们的爱情人人皆知,互相喜欢着彼此,都偷偷喜欢,关心,心疼着对方,可结局不一定和童话故事一样完美
1.8万字4周前