手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
怪物崽崽和他的怪物监护人 小仓鼠今天有猫了吗 第三十年明月夜 我真没想在过去的年代当学霸 还是修仙吧 兽世养山君[种田] 穿到虫族和军雌相亲 上流假象 君为客 枭鸢 新搬来的邻居 迷津蝴蝶 夸夸我的神探祖父穿越爹 末世后我成了疯批alpha们的安抚剂 攻略对象变成室友后，他不对劲 杀了那个妖鬼 死神不来了 撩惹疯批顶E，笨蛋少爷他逃了 神魔剑玄录 我在死亡副本当管理员
嫁给权臣后，女配被娇宠了
乔菁菁穿书了，穿成了书中权臣早年退婚的未婚妻。原主为了一个渣男，想与未婚夫退婚，为此还以死相逼，如愿嫁给渣男后，却落了一个凄惨的下场。乔菁菁不想步上原主的后尘，看着上门来解除婚约的优质男人，死活不肯退婚。如愿嫁给男人后，另一个烦恼，接踵而至。面对急于抱孙子的公婆，她有苦说不出。谁能想到看起来身体强壮健康的男人，竟有不为人知的隐疾？面对她的勾引，坐怀不乱不说，更是一点反应都没有。某日，她与男人商量不如我们去外面抱一个，谎称是我俩生的孩子？男人抬起眸，神色错愕地看着她，夫人为何有这样的想法？乔菁菁瞥了他一眼，隐晦提醒趁旁人还不知道夫君身体有恙，尽快抱养一个孩子，才是正途。男人良久没有说话，但俊脸却黑成了锅底，手指轻敲着桌面，让夫人误会，是为夫的不是。此后三年抱俩的乔菁菁大意了。...
嫡女，第一夫人
十岁那年，王府为了冲喜，选中她们姐妹，同一天成亲，她是嫡女却为妾，姐是庶女却为妻。成亲七载，夜夜独守空房，消失七年的夫君即将归来，一纸休书将她扫地出门。所犯七出之条，无子淫泆恶疾。...
王朝征战
从北方冰原到南方的无尽之海，从风暴平原到贫瘠的青荒高地，帝国军团战士的脚步踏遍每一寸山河，用手中的战刀开拓无垠疆土，无论是野兽般的蛮族还是狂热的异教徒，都将臣服在帝国的脚下，你不服？那就灭族吧！欢迎加入白色讨论群434107968...
最美不过说爱你
排雷！绝壁甜文初见时，那抹笑容，印入脑海，久久不能遗忘多年后，记者采访沐九深第一次见迟浅的时候是在哪里？说的第一句话是什么？沐九深当着广大人民群众面前沉思了片刻缓缓开口。男厕所同学，买纸不，十块钱一包！（‘呆萌’小学霸＆奶系伪学渣）如果您喜欢最美不过说爱你，别忘记分享给朋友...
我能看见状态栏
刚刚开始自己职业生涯的医生孙立恩，一心想要成为一个优秀的医生。等他回过神来的时候却发现，自己成了挂逼。书友群959480559欢迎催更（虽然用处不大）如果您喜欢我能看见状态栏，别忘记分享给朋友...
空间田园医妃
穆紫爵一位标准女汉子，一不小心被炸飞，结果掉到一个不存在历史中的时空，这里食物匮乏，很多能吃的东西这里的人不懂得怎么吃，穆紫爵。。。。懵文化落后，能认识几个字的就算文化人？穆紫爵。。。。持续懵中怕啥，老娘有金手指空间啥都不是事！穆紫爵一时手贱救了一个漂亮不像话的崽，结果这个崽崽占有欲太强非她不娶。穆紫爵...