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

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

相关小说

无限流:天黑别睁眼 连载中
无限流:天黑别睁眼
海马非马
【高冷疏离型npc(T)X慵懒逃避型玩家(程序)】你知道我一直在找你么。时间回溯,世界颠覆,我一直在找你。————天之骄子一朝落入凡尘成为阶......
104.7万字1年前
今夜霜露白 连载中
今夜霜露白
烟凝霜
3.1万字1年前
重铸:繁尽花海 连载中
重铸:繁尽花海
屑鸽子作者
看我看我看我,快来看我啊求你了(இωஇ)Q群:916270014(无聊的作者渴望你加个群,欢迎催更)(本文大致可以算作是前传吧,应该会长期更......
0.1万字1年前
WAN安 连载中
WAN安
挽安27
(已签约哦~不得抄袭)原创,最重情亦是最无情
17.9万字1年前
快穿之攻略十二星座 连载中
快穿之攻略十二星座
影ab
十二星座男女各有各自的特点白羊热情、金牛稳重、双子幽默、巨蟹温柔、狮子霸气、处女完美、天秤美丽、天蝎神秘、射手自由、摩羯严谨、水瓶聪明、双鱼......
9.5万字1年前
EXO之出门左拐撞见命定 连载中
EXO之出门左拐撞见命定
Over♚again*
『点亮会员或者打赏金币50个加更哦!✨✨✨已签约,纯属虚构,勿上升明星』男友出租屋不同的男友供你选择,5对男女所发生的爱情小甜宠的故事女主一......
10.2万字1年前