手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
徐凡张丽娜全文免费阅读 君逍遥 ［足球］赋格与沉沦 神魔剑玄录 成为白月光，然后死遁［快穿］ [娱乐圈]拜托！爱我吧！ 徐凡刘雪 重生游戏关服日 姜稚沈卿尘免费阅读 顾寒夜苏玫瑶全文免费阅读545 金玉良缘 免费全本阅读官场之美人计 林阳秦墨浓慕容韵目录 苏玖瑶顾寒夜列表 女友执意嫁给白月光，我转寻真爱 被写进柯学漫画的我扭转了命运 蓝星导演火遍星际 古代贵女在七零吃瓜看戏 潮热情迷 顾寒夜苏玫瑶更新内容
吾妻甚妙
耿星霜做了十四年的耿五姑娘，没想到有朝一日，这排行还得往后挪一挪，更没想到的是，多出的这一位堂姐，也仅仅是一个开始，接下来，世事的发展便如同脱缰的野马一般，让人难以预料措手不及。在一众堂姐妹们都各自担心自己的终身大事时，耿星霜却是忙着与竹...
星穹铁道：虚无开局否认一切
（崩坏星穹铁道同人）从冰雪中复苏的亚历克斯成为了当地人民口中的奇迹之子。亚历克斯本跟着虚无星神IX一起终日摆烂成为摆烂星人然而一不小心就成了可可利亚的弟弟布洛妮娅和希儿的舅舅卡芙卡的灵魂伴侣还被欢愉星神阿哈盯上了。那只能努力下了。努力了几年当星穹列车来到贝洛伯格开拓时亚历克斯站在那永冬的丰碑前说道欢迎来到永恒的国度贝洛伯格。开拓者你是威胁永恒的变数！可可利亚星在黎明到来前...
天命女道
阴司主神投胎到山沟沟里的女娃身上意欲何为？林清河从小就能见百魅游四方的道士给她加了一道封印却不想天命不可违。平凡十几年林清河偏偏在高中时意外被解开封印师父也莫名失踪从此她像打开新世界一样鱼形坠校寝怪事芭蕉女精抽龙骨尸油拌饭本来林清河只单纯以为是世界很大怪事多发很正常却不想这些怪事竟都是有意围着她转着发生林清河抽丝剥茧破难关最终发现所有的事情都围绕她阴神转世的特...
健身教练！
关于健身教练！都市职场姐弟恋不要轻易相信那些漂亮的女人，她们会用性感的伪装将你拉入无尽深渊...
人在木叶：生性纯良的我被系统逼上了邪路
关于人在木叶生性纯良的我被系统逼上了邪路穿越火影世界，开局觉醒系统！呦，生性纯良的宿主呦！作为一个正常的男人，你怎么能眼睁睁的看着宇智波富岳那个混蛋老牛吃嫩草！一向宇智波美琴表白，俘获佳人芳心奖励S级忍术一门（随机）二生性纯良的宿主呦！只有愚蠢的人才会做选择，强夺一血奖励写轮眼三门忍术熟练度提升一级（随即）望着远处自己下属那纯真的神情，藤原哲也看着水中自己的倒影陷入了沉思。这一血，自己究竟是要，还是不要？...
带着系统穿九零，开局先挖自己坟
顾子书带着薅来的金手指重生了。好消息她又活了坏消息被埋土里了，死不死就是时间问题了。最终靠着系统和好心人，出土成功。结果刚醒就发现原主死的冤枉。被继姐推下水，继父一家子联合起来偷了自己的录取通知书，亲生母亲打着为她好的言论让她忍！这她能忍？该戴银手镯的戴银手镯，该唱铁窗泪的也安排上。至于她，当然是发家致富把学上...