登陆注册
57676100000503

第503章 蔡廷常数

1975 年,计算机科学家格里高里·蔡廷(Gregory Chaitin)研究了一个很有趣的问题:任意指定一种编程语言中,随机输入一段代码,这段代码能成功运行并且会在有限时间里终止(不会无限运行下去)的概率是多大。他把这个概率值命名为了“蔡廷常数”(Chaitin's constant)。

这听起来有点不可思议,但事实上确实如此——蔡廷常数是一个不可计算数(uncomputable number)。也就是说,虽然蔡廷常数是一个确定的数字,但现已在理论上证明了,你是永远无法求出它来的。

蔡延常数写作ΩU,它的值大约是0.00787499699。

同类推荐
  • 奋斗的美好青春

    奋斗的美好青春

    这是一个和平安宁的国度,曾经有人说过:“不论你是贫穷还是贵贱,幸福的日子都是奋斗出来的!”请任何时候都不要忘记你是为了幸福在奋斗,故事的主人公没有华丽的技能,没有耀眼的主角光环,只有一颗每一个普通人都拥有的永不言败的心。只要你实诚、勇敢、努力和善待每一个人,你也一样可以发光发亮,让别人仰望。
  • 哑巴母亲

    哑巴母亲

    她是不会说话的,但这辈子她做得每件事不再传递着对于世界、对于女儿的爱。
  • 人生若逆旅

    人生若逆旅

    这是一个电台节目的故事,偶然的机会下,他在电台里开办了《人生逆旅》这档节目,节目口号:陪伴城市孤独灵魂,每周一期,都会有一个主人公跟听众分享自己所处的逆境,而主人公电台主播不知道的是,这些打进电话倾诉自己故事的人,都是自己身边的人。
  • 我眼里的我

    我眼里的我

    这是个关于一个女孩成长的故事,这条路上遇到了很多困难,她相信某一天总会遇到最美好的自己…
  • 如果这是我的一辈子

    如果这是我的一辈子

    原想写现实与重生两个世界相互的穿越,忽然觉得记录曾生活的或许更有生活的意义!
热门推荐
  • 逆天组合:傲娇王爷嚣张妃

    逆天组合:傲娇王爷嚣张妃

    她,是21世纪的顶尖杀手,杀人不眨眼;却因一次意外而穿越到了一个怯懦小姐身上。他,是个战神王爷,雷厉风行,杀伐果断。本来这命里最不可能有牵连的二人,却意外地走在了一起。当铁血王爷变成了温柔妻奴,当顶尖杀手变成听话小乖妻,他们的生活,开始了各种蜜糖:“璃儿,你一点也不漂亮”某男淡淡地说,“什么?!”“因为你最漂亮啊!”“…………”
  • 天行

    天行

    号称“北辰骑神”的天才玩家以自创的“牧马冲锋流”战术击败了国服第一弓手北冥雪,被誉为天纵战榜第一骑士的他,却受到小人排挤,最终离开了效力已久的银狐俱乐部。是沉沦,还是再次崛起?恰逢其时,月恒集团第四款游戏“天行”正式上线,虚拟世界再起风云!
  • 源仙传

    源仙传

    李守财的修仙之旅,我不想浑水摸鱼,奈何仙路漫漫寂寞难耐啊
  • 舌尖上的二次元

    舌尖上的二次元

    “万蛇的肉虽然粗糙,但是剁碎了做狮子头味道上佳。”“基力安大虚虽然看起来恶心,但是做成布丁口感一流。”“巨龙是传奇生物,做成烟熏肉不仅味道不错,还能千年不腐。”“但是这么多年过去,我还是想再来一次大葱鸭炖葱。”
  • 选王系统

    选王系统

    本书承《光暗之异路》一书,为打发时间的爽文,都市小说
  • Boss不及格

    Boss不及格

    堂堂公安局局长千金居然在自己家里被绑架,这不是坑爹么?什么?这个绑匪来头还不小,居然是国际黑帮组织的头目?这个恶魔长得倒是惊天地泣鬼神的,可是,什么?这个恶魔居然还说要娶她?天使嫁恶魔?尼玛,天理不容啊有木有?
  • 暗生魔影

    暗生魔影

    瓦罗兰传说番外篇,蜘蛛女皇伊莉丝的单独篇章
  • 倩墨

    倩墨

    贝倩从高中就喜欢他,也和他谈过恋爱,原以为她们可以美满的走入婚姻殿堂,可是贝倩猜中了开头,没有猜中结尾……贝倩被他折磨的体无完肤,原以为只要嫁给了他,就可以恢复到曾经,可是她错了……从一开始就错了……(虐文)
  • 天行

    天行

    号称“北辰骑神”的天才玩家以自创的“牧马冲锋流”战术击败了国服第一弓手北冥雪,被誉为天纵战榜第一骑士的他,却受到小人排挤,最终离开了效力已久的银狐俱乐部。是沉沦,还是再次崛起?恰逢其时,月恒集团第四款游戏“天行”正式上线,虚拟世界再起风云!
  • 季羡林谈佛(典藏本)

    季羡林谈佛(典藏本)

    季羡林先生是国内外公认的佛教研究权威,一生对佛教研究倾注了大量的心血。季羡林从语言学、社会学、历史学等切入,修正了原来的很多假设,考证了佛教是间接传进中国来的。全书收录了季羡林先生经典的佛教研究文章,旨在反映季羡林先生重要的佛学研究成果,呈现季羡林先生在佛教研究中体现的思想和文化观。