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

元数学:复杂度、随机性与不完备(二) (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:平行恶世界人到来
任彼安
先看第四章!人设cp!全员恶人的平行世界与主世界开始融合,相敌,相对,相帮,相助,背后又是何人在操控,而最后的结局是完全融合还是彻底分离呢?
5.3万字1个月前
末世:满级大佬重生后,拐走社恐小反派 连载中
末世:满级大佬重生后,拐走社恐小反派
KL-forever
【已签约,每天一更或两更,至少两千字,欢迎收藏】末世最强基地满级大佬叶秋漓不过是在度假的过程中睡了一觉,再次醒来发现自己竟然重生回了末世前一......
10.5万字4周前
人京铃屋 连载中
人京铃屋
铃屋明一
在纷乱嘈杂的现代化城市——人京,蔓延着一种吞食人类的怪物,人类称之为“Element”。他们是人京铃屋中的要素,外表与人类几乎没有差异的原因......
19.9万字4周前
甜爱:小甜熊恋爱手册 连载中
甜爱:小甜熊恋爱手册
一只橘a
主1:身高155cm的小甜熊(肖恬馨)是一个无敌爆炸可爱黏人的小萌妹,渴望遇到一个高大帅气爱他的男盆友~偶然的机会使他与已经活了620年的许......
9.5万字4周前
银迷草舍 连载中
银迷草舍
落魄了孩子
避雷:无cp,无cp推临云顶,身入棋盘。甘愿为棋子被掌握定夺,或是衍生为异类执掌命运。欢迎来到‘云顶棋盘’五年前,玩家斐笛南在一次又一次的副......
5.9万字4周前
我在奇异世界里求生 连载中
我在奇异世界里求生
林依楠吖
【本文已签约,禁止抄袭转载,女主团宠,不喜勿喷】一天晚上,靡月躺在床上准备睡觉的时候,手机铃声突然响了起来……
3.6万字4周前