手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
神魔剑玄录 姜稚沈卿尘免费阅读 徐凡刘雪 君逍遥 金玉良缘 [娱乐圈]拜托！爱我吧！ 古代贵女在七零吃瓜看戏 ［足球］赋格与沉沦 顾寒夜苏玫瑶更新内容 重生游戏关服日 被写进柯学漫画的我扭转了命运 苏玖瑶顾寒夜列表 蓝星导演火遍星际 顾寒夜苏玫瑶全文免费阅读545 林阳秦墨浓慕容韵目录 潮热情迷 女友执意嫁给白月光，我转寻真爱 免费全本阅读官场之美人计 成为白月光，然后死遁［快穿］ 徐凡张丽娜全文免费阅读
带着系统穿九零，开局先挖自己坟
顾子书带着薅来的金手指重生了。好消息她又活了坏消息被埋土里了，死不死就是时间问题了。最终靠着系统和好心人，出土成功。结果刚醒就发现原主死的冤枉。被继姐推下水，继父一家子联合起来偷了自己的录取通知书，亲生母亲打着为她好的言论让她忍！这她能忍？该戴银手镯的戴银手镯，该唱铁窗泪的也安排上。至于她，当然是发家致富把学上...
万里追狼
关于万里追狼白龙，它不是龙，也不是马，它是一条白色的狗，是60年代华北地区某村的一条狗王。在那个狼灾泛滥的时代，白龙在主人福哥的照料下，历经坎坷，从一条小狗崽成长为一条勇猛的狗王，并和村里的狗一起担负起守卫村庄的责任。由此与村庄周围的狼群结仇，几番恶战，斗智斗勇。。。...
健身教练！
关于健身教练！都市职场姐弟恋不要轻易相信那些漂亮的女人，她们会用性感的伪装将你拉入无尽深渊...
星穹铁道：虚无开局否认一切
（崩坏星穹铁道同人）从冰雪中复苏的亚历克斯成为了当地人民口中的奇迹之子。亚历克斯本跟着虚无星神IX一起终日摆烂成为摆烂星人然而一不小心就成了可可利亚的弟弟布洛妮娅和希儿的舅舅卡芙卡的灵魂伴侣还被欢愉星神阿哈盯上了。那只能努力下了。努力了几年当星穹列车来到贝洛伯格开拓时亚历克斯站在那永冬的丰碑前说道欢迎来到永恒的国度贝洛伯格。开拓者你是威胁永恒的变数！可可利亚星在黎明到来前...
高武：让你拍照，你批发异能？
苏羽意外穿越高武世界。高考来临，他觉醒万物图鉴系统！开局收集校花同桌图鉴获得sss异能，成为战术天才。从此，当拍照就可以获得异能他让世人知道什么叫做满身sss异能。当万族对人族第一军师进行斩首行动，接近才知道原来武力最强与智力最强竟是同一人！...
林家有女整治家风
关于林家有女整治家风种田宅斗大女主无金手指无cp脾气暴躁一言不合就咬人村中有四霸恶狗公羊大鹅和林三丫林瑶睁开眼就目睹了家徒四壁，那叫一个寒酸。再睁眼又目睹了泼妇骂街，得不想动嘴打一顿就好了。从此林家三丫性情大变一言不合就开撕。重男轻女的偏心祖母，心思深沉祖父，独木难支的后娘，软弱无能的亲爹。上有两个任人欺辱的姐姐，下有两个后娘生的弟妹，更有恶毒叔伯一窝好吃懒做筛子精，真真是极品凑了一堆。从此...