Chaitin常数,也称为Chaitinω数,由Chaitin(1975)引入,是普遍的无前缀(自我限制)图灵机器.每Chaitin常数同时可计算枚举(可计算的极限,有理数的递增、收敛序列)和算法随机(其二进制展开是一个算法随机序列),因此是不可变的(Chaitin 1975)。
因此,Chaitin常数可以定义为
|
(1)
|
它给出了以下概率:对于任何一组指令,特定的前缀都是自由的通用图灵机将停止,在哪里是以位为单位的程序大小.
Chaitin常量的值与机器高度相关。在某些情况下,甚至可以证明无法计算任何一位(Solovay 2000)。
Chaitin常数也许是不可计算数字最明显的具体例子。他们也是已知的超越的.
Calude公司等。(2002)计算了Chaitin常数的前64位对于某个通用图灵机器组件
(组织环境信息系统A079365号和A100264号).
Calude和Dinneen(2007)随后计算了另一个无前缀图灵机的前43位和40位,当分别与以16和2为基数的数据一起使用时,图灵机是通用的,如下所示
二元结果刻在史蒂芬·沃尔夫拉姆(Stephen Wolfram)为格雷戈里·查廷(Gregory Chaitin)60岁生日而赠送的奖章上,如上图所示。
另请参见
可计算数字,暂停问题,图灵机器,通用图灵机器
与Wolfram一起探索| Alpha
工具书类
Borwein,J.和Bailey,D。实验数学:21世纪的合理推理。马萨诸塞州韦尔斯利:AK Peters,第145页,2003年。Calude,C.S。;Dinneen,M.J。;和Shu,C.-K.,“计算随机性一瞥”专家。数学。 11,361-370, 2002.卡鲁德,C.S。和M.J.Dinneen。“完全正确欧米茄数的近似。"国际J.Bifur。混乱 17, 1937-1954,2007查廷·G·J·。“程序大小形式相同的理论信息理论。"J.助理计算。机器。 22, 329-340, 1975.查廷,G·J。“实数可以包含多少信息?”国际。J.比福尔。混乱 17, 1933-1935, 2007.Chaitin,G。元数学!:这个寻找欧米茄。纽约:万神殿图书,2005年。芬奇,S.R。《查廷常数》§1.11数学常量。英国剑桥:剑桥大学出版社,第81-83页,2003Gardner,M.“随机数公平竞标,把握宇宙之谜。"科学。阿默尔。 2411979年11月20日至34日。M.加德纳“Chaitin’s欧米茄。“Ch.21英寸分形《科学美国人》杂志的音乐、超级卡和更多数学娱乐。纽约:W.H。弗里曼,第307-319页,1992年。Kobayashi,K.“西格玛(N)O-Complete程序的性质和Lartin-Lof随机性。"信息处理。让。 46,37-42, 1993.新泽西州斯隆。答:。序列A079365号和A100264号在线百科全书整数序列的。"R.M.索洛维。“A版本ZFC无法预测单个比特。“输入有限与无限。对永恒困境的贡献(编辑:C.Calude和G.Pun)。伦敦:Springer-Verlag,第323-334页,2000参考Wolfram | Alpha
Chaitin常数
引用如下:
埃里克·魏斯坦(Eric W.Weisstein)。“Chaitin常数。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ChaitinsConstant.html网址
主题分类