停机问题

图灵著名的停机问题对于软件开发者而已是非常熟悉的.下面简单描述停机问题: 假设给你一个计算机程序的源代码,也给你所有程序要用的数据,文件,硬盘,DVD等等,所有它需要处理的东西.你能告诉我程序最终是否能够输出我们需要的结果吗,并且在工作完成之后,程序是就退出,还是会永远运行下去不会停止呢?换句话所就是,对于它会不会停止这个问题, 检查程序和数据,是不是足以能够让你回答是或否呢? 图灵对于停机问题不可解决的证明是决定性的.没有一个软件仅靠检查另一个软件的源代码,就能够决定它是否会停止运行,还是会永

很久以前,举国兴盛各种仙术邪道,每个派别的高德大师会给弟子们传授独门心法,通俗地来讲就是"怎么快速地获得幸福",每次传授完了之后,他们会例行地来一句:"千万别跟别人说是我说的,不然就不灵了!"嗯,这种才叫无私奉献嘛,而现在,大家拼命维护自己的各种版权,真是世风日下,啧啧 - 3.1． 如是我闻 "是闻"的意思是"听说是酱紫的","如是我闻"的意思就是"就像我听说的那样".大部分佛经都是以

1.罗素悖论 有集合 A={x|x∉A}.那么问题来了:A是否属于A? 等价于通俗说法“理发师悖论”:理发师说只给城市里不给自己理头的人理头,然后每天找他理头的人络绎不绝,有一天问题来了:理发师要不要给自己理头? 罗素悖论的关键在于定义的自身调用. 2.halting problem(停机问题) 存在一种程序,其输入为一个程序及其参数,输出是判断输入的程序是否会停机. 停机问题能够被证明是伪命题. 为了证明这种停机判断程序不存在,使用反证法: 引用:http://blog.csdn.net/ni

偶尔看到知乎的一个答案中提到了“停机问题”的概念,觉得挺有趣. 在看了维基百科之后, 以下是我的理解: 已知: enum couldStopFlag{ couldStop = true }; couldStopFlag CouldStop(function F); couldStopFlag K(function K) { if(CouldStop(K)){ while(1){} } else{ return couldStop; } } 那么问题来了, CouldStop(K(K)) == ?

假设存在程序halt 能判断任意程序a是否无限运行.显然容易写出程序b,以一个程序c为参数,若c被halt判断不能无限运行,则死循环b.构造程序b(b).若里面的b能无限运行,则程序b(b)外面的b从来没运行过,b(b)不能无限运行,即b不能无限运行.矛盾.若里面的b能无限运行,则外面的b在里面的b停下来时开始无限运行,b(b)会无限运行,即b会无限运行.矛盾.这个矛盾不是b带来的,而是halt的问题.关键不是b到底能不能无限运行,而是halt到底有没有判断的能力.我们可以很容易写出死循环或者不

Atitit.软件硕士  博士课程 一览表 attilax 总结 1. Attilax聚焦的领域1 2. 研究生硕士博士课程汇总表1 3. 博士课程3 4. Attilax额外的4 5. 参考4 1. Attilax聚焦的领域 Dsl 语言 ide 类库 框架 数据库 的实现 Debug工具 文本信息的解锁,无损压缩(pdf ,word2html) 图片物体检测与色情图片识别,人脸识别 信息采集,比较,同步工具,信息发布工具 输入法,词库维护工具  翻译机 垃圾文件识别与清理器 快速启动器(at

Java虚拟机-安全沙箱 <Java虚拟机>-安全沙箱 学习了一下Java的安全机制,以前学习C++的时候好像就从来没有考虑过太多安全方面的问题,一些代码方面的安全问题,诸如指针.内存什么的考虑过,但是整体的安全性基本无视,学习了这一章还是有蛮多收获. 沙箱 组成沙箱的四个组件: 类装载器 class文件检验器 Java虚拟机内置的安全特性 安全管理器 类装载器 通过命名空间隔离类,使不同命名空间的类不会互相访问(显示指定了访问方式的例外),解决了类的访问范围问题,如下图: 类的加载(装载)顺

原文链接 1.奇怪的理发师 罗素悖论(Russell's paradox)也称为“理发师悖论”.这里的罗素,就是大名鼎鼎的伯特兰·罗素,曾获诺贝尔文学奖的英国哲学家.数学家和政治活动家.1920年,罗素来中国讲学,maozedong曾任记录员.罗素反战.反宗教的思想也为中国人熟知. “罗素悖论”是罗素在数学上的重要成果,它直接造成了第三次数学危机. “罗素悖论”说有一个理发师,他只帮“所有不自己刮脸的人刮脸”.那理发师该给自己刮脸吗?如果刮,那就违反了承诺.如果不刮,按照承诺他又该刮.矛盾出现了

艾伦·麦席森·图灵,OBE,FRS(英语:Alan Mathison Turing,又译阿兰·图灵,Turing也常翻译成涂林或者杜林,1912年6月23日-1954年6月7日),是英国数学家.逻辑学家,他被视为计算机科学之父. 1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,对盟军取得了二战的胜利有一定的帮助. 图灵对于人工智能的发展有诸多贡献,例如图灵曾写过一篇名为<机器会思考吗?>(Can Ma