手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
攻略对象变成室友后，他不对劲 枭鸢 兽世养山君[种田] 还是修仙吧 撩惹疯批顶E，笨蛋少爷他逃了 神魔剑玄录 君为客 上流假象 末世后我成了疯批alpha们的安抚剂 穿到虫族和军雌相亲 我在死亡副本当管理员 迷津蝴蝶 死神不来了 小仓鼠今天有猫了吗 新搬来的邻居 怪物崽崽和他的怪物监护人 杀了那个妖鬼 夸夸我的神探祖父穿越爹 我真没想在过去的年代当学霸 第三十年明月夜
联盟：我创造了历史
S7，MSI刚刚结束，WE折戟沉沙。RNG俱乐部的饮水机管理员陈歌眼前一亮。联盟神级系统已绑定恭喜宿主获得五星级暗裔剑魔英雄卡！恭喜宿主获得永久技能卡塔下战神！从此以后，整个世界因他而改变。他是EDG俱乐部的新一代队魂。他是令明凯阿布欣慰不已的接班人。他是令LPL腾飞于鸟巢，屹立于世界之巅的引路人...
将军药别停
关于将军药别停世人皆知，墨府嫡女墨染染嚣张跋扈，蛮横无理。本着我心为善的美德，救了一个重伤男人，却不料被他缠上。赶又赶不走，打又不过，还要时时刻刻防止被人发现。离京五年，再度回京的墨绯夜发现，...
倒霉丫鬟当自强
郁闷地成了太师府姿色平平的烧火丫鬟，天生一副倒霉命！最催悲的是邂逅的男人一个比一个帅，身边却是红粉佳人无数，这还要不要人活了！好呗，既然本倒霉丫鬟就不是名门千金，绝色佳人，也不用装矜持了，绝不...
我是同人男主角
年度最热同人无限流漫画第二卷将于明日发售。超高人气漫画，夜云，于昨日销售量已突破五十万卷，各大书店存货告急预告夜云将在本月月底正式动画化，主角声优将由作者本人担任，各位漫迷尽情期待！哟，莫尘，又在COS夜云呢？一名路过的同学笑着打趣道。低头看了眼自己身上刚从轮回世界中穿越回来，还没来得及换下的衣服，莫尘有些无语。那特么根本就是我本人好吗。Coaplay尼玛呢！当穿越过程被制作成了动漫，莫尘表示⊙⊙这好像跟他一点儿关系也没有啊？如果您喜欢我是同人男主角，别忘记分享给朋友...
官道至尊
关于官道至尊被女朋友甩了，我转身就和市长的女儿好上了，从此走上了一条飞黄腾达的通天官路，在官场上纵横睥睨...
离离九生念
一夜之间，他的世界天翻地覆，掳走父母的仇人摇身一变成为他的养父。他没有发现，他一家三口遭遇的变故，仅仅是未来天翻地覆的开端。那个随这场祸劫一同出现的女子，突然闯入他的生活，又悄然离去。她亦正亦邪，身上似乎永远藏着他捉摸不透的秘密。他悄悄在名门长大，凭借聪慧过人的天资成为同辈之中的佼佼者。她踏上艰险的旅途，从复生到复仇，历经磨难，搅动着各族力量。再相遇时，竟是针锋相对的敌人？不，这不是这场缘分该有的样子。听从内心的声音，他决定带着自己的执拗，勇往直前如果您喜欢离离九生念，别忘记分享给朋友...