手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
新搬来的邻居 夸夸我的神探祖父穿越爹 第三十年明月夜 兽世养山君[种田] 君为客 上流假象 我真没想在过去的年代当学霸 小仓鼠今天有猫了吗 还是修仙吧 穿到虫族和军雌相亲 枭鸢 末世后我成了疯批alpha们的安抚剂 怪物崽崽和他的怪物监护人 迷津蝴蝶 杀了那个妖鬼 攻略对象变成室友后，他不对劲 神魔剑玄录 我在死亡副本当管理员 死神不来了 撩惹疯批顶E，笨蛋少爷他逃了
两界穿梭的修行者
突然出现的随身空间，竟然连通了一个修仙世界。一心想苟起来发育的李智偶然发现，空间竟然能分解尸体。将尸体的天赋功法神通甚至是血脉反馈给他。随后送上门的蛇妖会炼丹的草木精，还有神秘的护国神兽接踵而至。本书原名我真的只想当个倒爷如果您喜欢两界穿梭的修行者，别忘记分享给朋友...
影刀风流
玩家霜无夜，违逆游戏剧情设定，由此进入游戏的江湖世界。如果您喜欢影刀风流，别忘记分享给朋友...
枕上豪门：冷酷首席囚笼妻
暂无简介...
美人多骄
美人如此多娇，曾引无数俊彦竞折腰！穿越成了绝色美人，面对心怀各异心思深沉的俊彦们，夏云锦压力很大。...
斗罗：觉醒沙盒武魂的我只想种田
谢邀。我叫林枫，刚出生就跟着父母被人追杀，而我侥幸被魂兽所收养，如今离开星斗大森林，辣鸡系统激活后就提示需要更新玩失踪系统没更新完毕，没有修炼功法，我现在慌得一批。直到觉醒武魂时，我手里出现了一个草方块模样的武魂。素云涛这是个啥？林枫你问我？此时的林某人表面淡定，其实内心激动得想要跳起来给涛哥一个盖帽！本书关键词斗罗大陆我的世界苟。如果您喜欢斗罗觉醒沙盒武魂的我只想种田，别忘记分享给朋友...
豪门爽情：重生娇妻，郑少宠上瘾
上一世宁诗诗遭遇凄凉，绝望中自杀，既然上天她给了重生的机会，必然要有怨报怨，有仇报仇，手撕白莲花，痛打绿茶婊，又有神秘异能附身，新的人生好不惬意。至于至于为了复仇傍上的某个帅得惨绝人寰的男人，当然是用完就丢！他将她压在身下，目露绿光撩完就想跑，先给老资生十个八个猴子再说！不一样的重生爽文，男主女主极有个性，欢迎入坑如果您喜欢豪门爽情重生娇妻，郑少宠上瘾，别忘记分享给朋友...