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

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

相关小说

ch:欲梦之境 连载中
ch:欲梦之境
影雲
一次意外,在联合国开会的众人进入了一个名为欲梦之境的地方……(私设勿喷!ooc致歉)(本人才入ch圈不久,文笔也一般,多多包涵)(住校生,更......
0.4万字1年前
重生之第一御灵师 连载中
重生之第一御灵师
初见秋月
前世因恶人设计、陷害、背叛导致林君婉断情根被挖灵根甚至亲人被害,最后凄凉惨死,在死前林君婉不甘心爆发出强烈的恨意引来一个神秘人物始她重生。 ......
3.4万字1年前
万界超神之永恒帝天 连载中
万界超神之永恒帝天
造物之始
永恒信念,正义随它行,善良因即存,所谓善恶虚无,守护有些必定规律,愿世界更好,众神听令归位!
5.3万字1年前
异能大佬之结局未知1 连载中
异能大佬之结局未知1
鹿里屏
简介正在更新
26.2万字1年前
红璃陨落,北洋骤然 连载中
红璃陨落,北洋骤然
迷恋青青
《红璃陨落,北洋骤然》这是双女主哦!讲的是来自恶魔一族的红璃与天使一族的北洋违规了族群里的条约。与恶魔/天使族的公主成了朋友。两族因为这事开......
1.5万字1年前
浮生旧梦祭红尘 连载中
浮生旧梦祭红尘
媅嬣
姜嬣刚被王国退货,手无缚鸡之力的她本以为能够过几天安生日子,不想天不遂她愿,遇见江宸熙后,她便被逼上阵,踏上了一个罪神的洗白之路。一路走来,......
66.6万字1年前