手机浏览器扫描二维码访问
本站广告仅展示一次,尽可能不去影响用户体验,为了生存请广大读者理解
第六百七十七章 停机问题（逻辑学）（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：()数学心
都重生了谁还当人
出狱后的许青山重回2008，发现自己悟性逆天了。时值高三开学，重活一世的许青山想走上正道，守护好自己的家人挚友。一开始，他只想成为一个小小的高考状元。后来，他想让闽南这片土地走在时代前沿。当闽南宗族头人、互联网商业领袖、电子工业巨擘、理科学术皇帝等头衔加诸于身时，许青山只能勉为其难地分享两句成功经验。“成功法则，我只说三点。”“别把自己当人，别把别人当人。”“不能只靠歪门邪道，但更不能没有。”“事上只有两种事，关我鸟事和关你鸟事。”【悟性+学霸+高中+恋爱+日常+学术+创业+基建】...
齐朝探案录
书中的主角是苏无忧，破案为主，有cp苏无忧女扮男装，在这个风云诡谲的齐朝，当县令，协各位伙伴，屡破奇案......
漫仙途
出生在不灵之地的杨云天，一步步踏上修真世界。这里群敌环绕，这里尔虞我诈，这里有亲人朋友，这里有敌人对头，这里是个道的世界。看杨云天如何凭借智慧叱咤风云。本书为凡人流，主角不开挂，敌人不脑残，异性不花痴，这里就是个真实的修仙世界！......
狼性总裁，别乱来
结婚前夕，夏婉宁收到一份大礼一百张高清艳照。...
一山不容两东北虎
陆森是一个破产动物园的投资人，在谈合作的路上出了事故，一睁眼却发现自己成了一只被救助的野生东北虎，正面临着放生。 他还没来得及找到解决办法，就被装在了笼子里，一针麻醉剂下去直接运到了野生动物保护区。 陆森：…… 不会打架，不会捕猎，不会隐蔽行踪的“三不”东北虎直接面临死局，陆森从麻醉里醒来的时候就发现笼子一碰就开了。 他摇晃着毛茸茸的大脑袋试图让自己清醒点。 而就在此刻，草丛里传来了一丝动静，仅有的一丝本能反应让陆森下意识立刻回了笼子，顺带用爪子勾上了笼子的门。 “砰——”一声巨响。 陆森看着一爪子拍到了笼子上的暴躁大老虎陷入了沉思，他默默地将笼子勾得更紧了一些，决定把这个当做“临时龟壳”。 陆森想的很美好，也很有道理，但随着第二爪愤怒地拍了下来—— 笼子的钢筋弯了。 陆森：……谁TM做的豆腐渣笼子？！ （阅读指南：主角会一直是老虎，不会变成人，没有任何变人情节）...
帝师
教师是份高尚的职业，帝师则是高危职业。 尤其当学生是某个爱玩的皇帝，陪读是锦衣卫指挥使，端茶倒水的是东、西两厂厂公，另有内阁三学士、六部尚书轮班旁听，一众御史言官虎视眈眈，随时准备撸袖子“以礼服人”，压力当真是非同一般。 站在文华殿的讲台上，杨瓒无语望天，目光明媚而忧伤。 苍天在上，真心穿错了，求重穿！...