手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
杀了那个妖鬼 撩惹疯批顶E，笨蛋少爷他逃了 攻略对象变成室友后，他不对劲 上流假象 我真没想在过去的年代当学霸 神魔剑玄录 怪物崽崽和他的怪物监护人 枭鸢 第三十年明月夜 穿到虫族和军雌相亲 末世后我成了疯批alpha们的安抚剂 我在死亡副本当管理员 迷津蝴蝶 君为客 还是修仙吧 小仓鼠今天有猫了吗 新搬来的邻居 夸夸我的神探祖父穿越爹 死神不来了 兽世养山君[种田]
苟道修仙：我有一个小世界
关于苟道修仙我有一个小世界苟修仙系统冒险单女主凡人修仙灵宠。这是一个小人物修仙的休闲故事。文章数据增长仅供参考，故事情节功法灵药纯属虚构，请勿模仿。...
毒妃凶猛：娘娘，王爷黑化了！
王妃，我想生猴子！不，你不想！别人穿越后不是皇后就是公主，为什么她穿成了废物，还背了个大黑锅！在发现债主是前世干掉她的BOSS后，沐轻音化身小绵羊狂撩高冷禁欲的大长腿。撩不动？自然的跑路！但是，那个疯狂追来的黑化变态是什么情况！如果您喜欢毒妃凶猛娘娘，王爷黑化了！，别忘记分享给朋友...
婚心计：老婆，别来无恙
关于婚心计老婆，别来无恙传闻他金屋藏娇，有一个放在心间上宠的女人。婚礼前夕，她把护照，身份证，机票交到他手里，去找她吧。还有一张写着她地址的便签。然后转身离去。一别三年，她浴火重生归来，入主叶氏。一边在商界周旋，一边着手调查父母的死因。那个名义上的未婚夫却将她逼到角落里，慢条斯理地解着衬衫扣子，野了那么久，舍得回来了？叶挽冷冷地看着他，这个男人要做什么？！直到整个人被扑倒，叶挽才回过神来，混蛋，做什么？！那混...
武灵第一神尊
上古第一强者陨落后，亿万年后重生，立志要踏临世界巅峰，长寿永生，俯览天下且看少年万峰一路披荆斩棘，勇往直前，闯大千世界，万域空间，战各界天才，灭珍奇异兽，得宝物奇珍一切的一切从小山村开始如果您喜欢武灵第一神尊，别忘记分享给朋友...
阿弥陀佛，小僧怕怕
关于阿弥陀佛，小僧怕怕为寻找多年失散的妹妹，姜城还俗下山，姜城表示我只想找妹妹！...
街角有家杂货铺
惊悚版雨夜中发现的尸体，村里的幻境，神秘的少女令穆队长很是头疼狗粮版赫赫有名的十佳青年靳总与一神秘少女晚上吃夜宵，当事人回应谢邀正在追求搞笑版曹凯旋每次都要因为参与案件而担忧自己的小命不保，在辞职和不辞职当中反复横跳717大案背后组织再度出现，街角有家杂货铺专门处理奇闻异事如果您喜欢街角有家杂货铺，别忘记分享给朋友...