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

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

相关小说

星座女团 连载中
星座女团
LiLi曦曦
0.8万字11个月前
12星座:星座学院 连载中
12星座:星座学院
钺萌
【发布于2024.10.15】星海陨落黄道叛徒深渊阴谋欺骗自我黄道集结以一换一闪星复活击毁深渊
1.0万字11个月前
悄悄倾诉 连载中
悄悄倾诉
190***412
小龙女在家乡受尽苦头,当她以为自己能逃离苦海时,现实却又给了她重重一击……
0.5万字11个月前
虣兽世界 连载中
虣兽世界
蓝桉的小鲨鱼
3.6万字11个月前
戴莹带你看斗五未来-d199 连载中
戴莹带你看斗五未来-d199
迷你小可
0.2万字11个月前
她与时光对望 连载中
她与时光对望
反骨的猫小姐
逃跑的小系统误闯禁地,惊醒了沉睡在此万年的上古灵魂,你以为是它带着她做任务?不,是她带着它,游戏人间。看戏时碰到了戏友,怎么办?小系统慌了,......
20.9万字11个月前