计算的极限.docx
《计算的极限.docx》由会员分享,可在线阅读,更多相关《计算的极限.docx(29页珍藏版)》请在冰豆网上搜索。
计算的极限
计算的极限(零):
逻辑与图灵机Comments>>
方弦发表于2012-07-1706:
45|Tags标签:
原创,哥德尔不完备定理,图灵机,计算的极限
【提出问题和解决问题的人】
2012,图灵诞辰100周年,献给这位伟大的开拓者。
计算无处不在。
走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动。
从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃。
计算机能做的事情越来越多,甚至超越了它们的制造者。
上个世纪末,深蓝凭借前所未有的搜索和判断棋局的能力,成为第一台战胜人类国际象棋世界冠军的计算机,但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识;而仅仅十余年后,Watson却已经能凭借自己的算法,先“理解”问题,然后有的放矢地在海量的数据库中寻找关联的答案。
长此以往,工具将必在更多的方面超越它的制造者。
而这一切,都来源于越来越精巧的计算。
计算似乎无所不能,宛如新的上帝。
但即使是这位“上帝”,也逃不脱逻辑设定的界限。
第一位发现这一点的,便是图灵。
《计算的极限》系列
一切从逻辑开始
1900年的巴黎,在世纪交替之际,希尔伯特提出了他著名的23个问题。
其中第二个问题——算术系统的相容性——正是他那雄心勃勃的“希尔伯特计划”的最后一步。
这位数学界的巨人,打算让整个数学体系矗立在一个坚实的地基上,一劳永逸地解决所有关于对数学可靠性的种种疑问。
一切都为了回答三个问题:
数学是完备的吗?
也就是说,面对那些正确的数学陈述,我们是否总能找出一个证明?
数学真理是否总能被证明?
数学是一致的吗?
也就是说,数学是否前后一致,不会得出某个数学陈述又对又不对的结论?
数学是否没有内部矛盾?
数学是可判定的吗?
也就是说,能够找到一种方法,仅仅通过机械化的计算,就能判定某个数学陈述是对是错?
数学证明能否机械化?
希尔伯特明确提出这三个问题时,已是28年后的1928年。
在这28年间,数学界在算术系统的相容性上没有多少进展。
但希尔伯特没有等太久,仅仅三年后,哥德尔就得到了前两个问题的答案,尽管这个答案不是希尔伯特所希望看到的。
哥德尔的答案分两部分。
第一,任何包含了算术的数学系统都不可能同时拥有完备性和一致性,也就是说,如果一个数学系统包含了算术的话,要么它是自相矛盾的,要么存在一些命题,它们是真的,但我们却无法证明。
这说明,希尔伯特的前两个问题不可能同时为真。
在这里,“算术”有着精确的含义,就是皮亚诺公理,一组描述了自然数的公理。
第二,任何包含了算术的数学系统,如果它是一致的,那么我们不能在它的内部证明它本身的一致性。
这说明,我们没有希望解决第二个问题。
这就是著名的哥德尔不完备性定理,与其说它回答了希尔伯特的前两个问题,不如说它阐述了为什么我们根本不可能解决这两个问题。
哥德尔的证明非常精巧。
他先将所有的数学陈述和证明符号化,然后给每个符号串赋予一个数字,这个过程被称为哥德尔配数法。
借助数学归纳法,我们可以建立针对所有自然数的陈述,而这样的陈述本身对应着一个数字,这个数字也符合陈述本身的要求。
换言之,这个陈述陈述了它本身的性质。
哥德尔正是通过这样魔法般的自指,完成了他的证明。
这个证明之所以重要,是因为它第一次提供了一套完整的数学工具和方法,用于证明有关数学证明的不可能性。
这本身就是数学的一次重大胜利,说明数学的力量强大得可以用纯粹逻辑的方法,证明它本身的力量是有界限的。
在数学的领地上,有些东西我们不知道,也不可能知道。
希尔伯特的前两个问题已经解决,只剩下最后一个问题。
然而,如果一个数学系统不完备的话,它显然不可能是可判定的,因为机械化的计算本身也可以看成一种证明,而在一个不完备的系统中,真理不总能被证明。
所以,最后一个问题只对完备的数学系统有意义。
所幸,完备的数学系统是存在的。
同样是哥德尔,他证明了所谓“一阶谓词演算”的逻辑系统是完备的,这被称为哥德尔完备性定理。
一阶谓词演算是一个比较弱的逻辑系统,在其中我们甚至不能有效唯一地描述算术。
比如说,自然数系统符合皮亚诺公理的一阶版本,但它并不是唯一的,还有无数种所谓“非标准模型”同样符合这套一阶系统。
在一阶谓词演算中,对于一套公理系统,如果一个命题在所有的模型中都正确,那么必定可以形式地证明这个命题,这就是一阶谓词演算的完备性。
在一阶谓词演算中,真理总能被证明。
在这个弱得多的逻辑系统中,我们有了完备性,真的命题必定可以被证明。
那么,它是不是可判定的?
我们能不能找到一种机械计算的方法,判定其中数学陈述的对错?
数学称述的真假,是否可判定的?
这个问题,就是希尔伯特的可判定性问题。
注:
希望更深入了解哥德尔不完备性定理的读者,可以重温旧文《希尔伯特之梦,以及梦的破灭》
复杂的简单机器
在纽曼教授的数理逻辑课上,图灵第一次听到希尔伯特的可判定性问题以及哥德尔不完备性定理。
那是1935年的春天,他刚刚完成在剑桥国王学院的四年本科学习,以优异的成绩被选为学院研究员,正准备在数学界大显身手,数理逻辑自然而然吸引了他的兴趣。
图灵清楚地意识到,解决可判定性问题的关键,在于对“机械计算”的严格定义。
考究希尔伯特的原意,这个词大概意味着“依照一定的有限的步骤,无需计算者的灵感就能完成的计算”,这在没有电子计算机的当时,算是相当有想象力又不失准确的定义。
但图灵的想法更为单纯。
什么是“机械计算”?
机械计算就是一台机器可以完成的计算,这就是图灵的回答。
用机器计算的想法并不新鲜。
17世纪的莱布尼兹就曾设想过用机械计算来代替哲学家的思考,而19世纪的CharlesBabbage和AdaLovelace就设计出了功能强大的“分析机”,只可惜Babbage欠缺管理才能,这台超越了时代的机器始终没有完全造好。
但图灵需要的机器,跟先驱设想的机器稍有不同。
它必须足够简单,简单得显然能造出实物,也可以用一目了然的逻辑公式描述它的行为;它又必须足够复杂,有潜力完成任何机械能完成的计算。
图灵要找的,是一种能产生极端复杂行为的简单机器。
这并非易事,但图灵做到了,据说这是他某次长跑过后,在某块草坪上发呆的成果。
他设计了一类机器,然后定义“机械计算”为“这类机器可以完成的计算”。
他设计的这类机器,正是日后以他名字命名的图灵机。
图灵机的示例。
绿点指示处为当前状态,每条规则的4项分别是:
当前位置读入的字符、当前位置写入的字符、纸带的移动方向、将要转移到的状态。
图灵机的结构非常简单,它由两部分组成:
一个读写头,还有一条两边无限延长的纸带,纸带被划分为小格,每格中只能有0和1两种符号。
读写头的限制则稍微宽松一些,虽然每次只能对着纸带上的一个格子,但它本身可以处于不同的状态,虽然状态的数目是有限的。
在所有状态中,有一个特殊的“停机”状态,读写头一旦处于停机状态,就会停止运作;但如果读写头一直没有到达停机状态的话,它就会永远运转下去。
整台图灵机的秘密在于读写头的状态转移表,它指示着读写头的状态和当前读写头正对格子的符号如何变化。
它只有一种非常简单的规则,就是“如果在状态A的读写头对着符号x,那么对当前格子写入符号y,将纸带左移一格/右移一格/保持不动,然后转移到状态B”。
状态转移表就是由一系列这样的简单规则组成的。
可以说,状态转移表就相当于图灵机的源代码。
实际上,我们平时笔算乘法的思维过程,跟一台图灵机的运转非常相似:
在每个时刻,我们只将注意力集中在一个地方,根据已经读到的信息移动笔尖,在纸上写下符号;而指示我们写什么怎么写的,则是早已背好的九九乘法表,以及简单的加法。
如果将一个笔算乘法的人看成一台图灵机,纸带就是用于记录的纸张,读写头就是这个人和他手上的笔,读写头的状态就是大脑的精神状态,而状态转移表则是笔算乘法的规则,包括九九表、列式的方法等等。
这种模式似乎也适用于更复杂的机械计算任务。
如此看来,图灵机虽然看起来简单,但它足以作为机械计算的定义。
既然图灵机如此简单,能不能将它“升级”,赋予更多的硬件和自由度,使它变得更强大呢?
比如说,让它拥有多条纸带和对应的读写头,而纸带上也不再限定两种符号,而是三种四种甚至更多种符号?
的确,放宽限制之后,在某种程度上,对于相同的任务我们能设计出更快的图灵机,但从本质上来说,“升级”后的图灵机能完成的任务,原来的图灵机也能完成,虽然也许会慢些。
也就是说,这种“升级”在可计算性上并没有意义,放宽限制后的机器能计算的,原来的机器也能完成。
既然计算能力没有质的变化,无论采取什么样的结构,用多少种符号,都无所谓。
图灵机的一大优点,就是它的简单。
只要给出状态转移表,任何一个人都可以模拟一台图灵机的计算。
对工程师而言,在现实中用机械建造一台图灵机也并非什么难事。
对于程序员来说,写一个模拟图灵机的简单程序更是不在话下。
但如此简单的机器,它又能做什么呢?
它真的能充当“机械计算”的定义吗?
计算的极限
(一):
所有机器的机器,与无法计算的问题Comments>>
方弦发表于2012-11-1610:
36|Tags标签:
原创,图灵机,计算的极限
在图灵诞辰100周年之际,献给这位伟大的开拓者。
计算无处不在。
走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动。
从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃。
计算机能做的事情越来越多,甚至超越了它们的制造者。
上个世纪末,深蓝凭借前所未有的搜索和判断棋局的能力,成为第一台战胜人类国际象棋世界冠军的计算机,但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识;而仅仅十余年后,Watson却已经能凭借自己的算法,先“理解”问题,然后有的放矢地在海量的数据库中寻找关联的答案。
长此以往,工具将必在更多的方面超越它的制造者。
而这一切,都来源于越来越精巧的计算。
计算似乎无所不能,宛如新的上帝。
但即使是这位“上帝”,也逃不脱逻辑设定的界限。
第一位发现这一点的,便是图灵。
《计算的极限》系列
所有机器的机器
图灵机非常简单,只要明白了它的运作过程,任何一个受过足够训练的计算机系本科生都可以写出一个模拟图灵机运行的程序。
只消输入状态转移表和纸带的输入内容,程序就可以一步一步模拟相应的图灵机在纸带上爬来爬去的过程。
对于一些熟悉图形编程的程序员来说,做个模拟动画也问题不大。
即使不用计算机,靠人手一步步操作,也是一件小孩子也能完成的事。
图灵机就是这么简单的一种机器。
虽然看上去简单,但实际上图灵机能做的事情远远超出一般的想象。
只要有足够长的纸带和足够好的耐心,今天的电脑能做的计算,一台精心设计的图灵机也能完成。
诀窍在于,电脑中的电路是有限的,电路的状态也是有限的,我们可以用图灵机去模拟电脑中的电路状态。
只要有足够长的纸带,那就可以模拟出足够大的寄存器、内存和硬盘;而CPU中的电路,虽然所有可能的状态极其多,但终究是有限的,可以用图灵机模拟,虽然这台图灵机的状态转移表将会有着令人头痛的大小,以及令人偏头痛的复杂程度。
但是,从原则上来说,用图灵机模拟一台电脑是完全可能的,虽然每次“读写内存”时,读写头都需要花长得令人咋舌的时间在纸带上来回奔波。
也就是说,从原则上来说,只要配备适当的输入和输出设备,以及极其好的耐心,我们完全可以用图灵机上网、玩游戏甚至执行自己写的程序。
特别地,存在一台特定的编写程序专用的图灵机T,我们可以在纸带上写程序,将它输入到T,然后T就能执行这个程序。
那么,如果我们将方才本科生写的那个可以模拟任意图灵机运行的程序(暂且把它称为程序P),写在纸带上输入到T中,让T去执行的话,原本的机器T就摇身一变,变成了一台可以根据输入的状态转移表来模拟任何一台图灵机的图灵机。
【乐高玩具版图灵机,图片出处:
http:
//www.cs.cmu.edu/】
更精确地说,因为程序P的长度是有限的,我们可以将它直接写进原来机器的状态转移表,得到一台新的机器UTM。
UTM会在纸带上读取两样东西:
一台图灵机M的状态转移表的二进制编码,以及作为M的初始输入的纸带数据。
然后,UTM会根据M的状态转移表和初始输入数据,在纸带上模拟M的运作过程。
换言之,UTM是一台可以模拟任何图灵机的图灵机。
它是所有机器的机器,所谓的通用图灵机(UniversalTuringMachine)。
当然,通用图灵机并不是唯一的,只要一台图灵机能完成根据状态转移表模拟任意图灵机的任务,它就是通用图灵机。
【一台通用图灵机,数据具体格式请参见来源:
http:
//rendell-attic.org/gol/utm/utmprog.htm】
通用图灵机的想法,在如今这个计算机泛滥的时代,似乎并不新鲜。
但在图灵的1935年,电子计算机甚至仍未问世,机械计算机还只能执行内设的一套指令。
即使是CharlesBabbage和AdaLovelace的超越时代的设想,其中执行外部程序的概念也相当含混不清。
在这种历史背景下,要归纳出通用图灵机这个概念,本身就需要极为丰富的想象力,而且这种图灵机是否存在,这是个远非显然的问题。
而图灵不仅设想到了这个概念,而且正确地判断出它的存在性,这需要何等非凡的直觉!
但单纯的直觉终究不能令人信服,数学家讲究的是逻辑和证明。
而要证明通用图灵机的存在,最直接的方法莫过于直接给出一个通用图灵机的实例。
这并不简单,如果读者想尝试一下的话,我建议先尝试构造一个能做二进制加法的图灵机。
为了降低难度,可以假设纸带上有第三种符号,表示空白,但即使如此,要构造一个能做加法的图灵机,远比想象中的困难。
可想而知,通用图灵机的构造肯定更为复杂繁琐。
即使是图灵,他在一开始给出的构造也是有问题的,而这些问题甚至在后来的勘误中也没有成功修正。
比构造更麻烦的是证明给出的图灵机的确是一台通用图灵机,在图灵解决希尔伯特可判定性问题的论文中,有关通用图灵机的构造和证明占了相当大的篇幅。
这部分非常繁复琐碎,而且其中还有错误,如果细细研读的话,绝对有诱发剧烈偏头痛的危险。
幸运的是,无论细节多么复杂,图灵的想法还是被逻辑学家们接受了。
一旦领会到图灵机的能力,接受了通用图灵机的构想,再检查几个能完成基本任务的图灵机之后,大部分数学家都会认为通用图灵机的确存在,尽管他们并不一定会细看图灵的详细构造。
而现代电子计算机的发展,更是验证了通用图灵机的存在:
每一台电脑都相当于一台通用图灵机。
通用图灵机的存在,从侧面说明了图灵机这个计算模型的强大之处:
图灵机作为一类机器,其中一个特例就可以模拟整个类别中的任意一台机器,宛如能折射大千世界的一滴水珠。
但在这种强大的背后,隐隐也暗藏着不安定的因素。
哥德尔不完备性定理告诉我们,有时候越强大的数学理论,因为能表达的概念太多,甚至连理论的命题和证明都能表达,反而会导致不能被证明的真命题的存在。
如果一个系统足以描述它自己,那魔法般的自指将是不可避免的。
图灵机如此强大,它的其中一台就可以模拟所有图灵机,会不会导致不能用计算来回答的问题存在呢?
很不凑巧,答案是会。
无法计算的问题
在哥德尔不完备性定理的证明中,哥德尔构造了一个描述了本身不可证明性的自指命题,通过这个命题完成了他的证明。
要想照葫芦画瓢的话,那些关于图灵机本身的问题,将会是很好的候补。
关于图灵机,最简单的问题是什么呢?
回想一下图灵机的运作过程,一台图灵机从初始状态开始,根据纸带上的内容,一边不断变换状态,一边更改纸带的内容,如此往复永无休止,除非它遇上了表示停机的那个状态,才能从这机械的计算过程中跳出,获得静息的安乐。
一个自然的问题是:
一台图灵机什么时候会停机呢?
更严格地说,会不会停机并不是图灵机本身的属性,它跟纸带的初始输入也有关系。
对于同一台图灵机,不同的纸带输入也可能导致不同的结果和行为。
比如说,我可以设计一台图灵机,它的任务只有一个:
一步一步向右移动,寻找输入中的第一个1。
如果输入纸带上全是0的话,那么,这台图灵机自然不会停止;但只要纸带上有一个1,那么它就会停止。
所以,真正严谨的问题是:
给定一台图灵机M以及一个输入I,如果我们将I输入M,然后让M开始运行,这时M是会不停运转下去,还是会在一段时间后停止?
我们将这个问题称为停机问题。
初看起来,停机问题并不难。
既然我们有通用图灵机这一强大的武器,那么只需要用它一步步模拟M在输入I上的计算过程就可以了。
如果模拟过程在一段时间后停止了,我们当然可以得出“M在输入I上会停止”这个结论。
问题是,在模拟过程停止之前,我们不可能知道整个计算过程到底是不会停止,它可能会在3分钟后停止,可能要等上十年八载,更有可能永远都不会停止。
换句话说,用模拟的方法,我们只能知道某个程序在某个输入上会停止,但永远不能确定那些不停止的状况。
所以说,单纯的模拟是不能解决停机问题的。
实际上,停机问题比我们想象中要复杂得多。
举个例子,我们可以编写一个程序GC,它遍历所有大于等于6的偶数,尝试将这样的偶数分成两个素数的和。
如果它遇到一个不能被分解为两个素数之和的偶数,它就停机并输出这个偶数;否则,它就一直运行下去。
用现代的工具编写GC这样的程序,对于计算机系的学生最多只能算一次大作业;用图灵机实现的话,也不是什么极端困难的事。
然而,GC是否会停止可是牵涉到了哥德巴赫猜想。
如果哥德巴赫猜想是正确的,每个大于等于6的偶数都能分解为两个素数之和的话,那么GC自然会一直运行下去,不会停机;如果哥德巴赫猜想是错误的话,必定存在一个最小的反例,它不能分解为两个素数之和,而GC在遇到这个反例时就会停机。
也就是说,GC是否永远运行下去,等价于哥德巴赫猜想是否成立。
如果我们能判定GC是否会停止,那我们就解决了哥德巴赫猜想。
数学中的很多猜想,比如说3x+1猜想、黎曼猜想等,都可以用类似的方法转化为判断一个程序是否会停止的问题。
如果存在一个程序,能判断所有可能的图灵机在所有可能的输入上是否会停止的话,那么只要利用这个程序,我们就能证明一大堆重要的数学猜想。
我们可以说,停机问题比所有这些猜想更难更复杂,因为这些困难的数学猜想都不过是一般的停机问题的一个特例。
如果停机问题可以被完全解决,我们能写出一个程序来判断任意图灵机是否会停机的话,那么相当多的数学家都要丢饭碗了。
停机问题如此复杂,机械的计算看起来没有足够的力量来完全解决它。
停机问题似乎是不可计算的。
但要想严格证明这个结论,似乎仍要求助于深藏在图灵机之中,那魔法般的自指。
计算的极限
(二):
自我指涉与不可判定Comments>>
方弦发表于2012-12-1214:
04|Tags标签:
原创,图灵,数学,计算的极限
计算无处不在。
走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动。
从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃。
计算机能做的事情越来越多,甚至超越了它们的制造者。
上个世纪末,深蓝凭借前所未有的搜索和判断棋局的能力,成为第一台战胜人类国际象棋世界冠军的计算机,但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识;而仅仅十余年后,Watson却已经能凭借自己的算法,先“理解”问题,然后有的放矢地在海量的数据库中寻找关联的答案。
长此以往,工具将必在更多的方面超越它的制造者。
而这一切,都来源于越来越精巧的计算。
计算似乎无所不能,宛如新的上帝。
但即使是这位“上帝”,也逃不脱逻辑设定的界限。
第一位发现这一点的,便是图灵。
《计算的极限》系列
矛盾的自我指涉
在现实中,证明某种东西不存在是非常困难的。
要证明某种东西存在,只要举出一个例子就可以了;但要证明某种东西不存在,就要想办法排除所有的可能性,而在现实生活中,这几乎是不可能的。
所以,只要能排除那些比较主要的可能性,任务就算完成。
但在数学中,情况大不相同:
通过形式逻辑的方法,我们可以确实地证明某种数学对象不存在。
这都要归功于数学那彻底的抽象化和形式化。
数学家在证明某个数学对象不存在的时候,经常会来一招“欲擒故纵”:
首先假设它存在,那么它必然具有某些特定的性质,再利用这些性质,用严密的逻辑推理引出一个不可能的结论。
既然结论是不可能的,而逻辑推理又没有问题,那么一定是推理的出发点出了差错:
作为推理基础的那个东西,其实并不存在。
这种证明方法,就是反证法。
现在,我们尝试用反证法证明停机问题是不可计算的。
按照反证法的格式,我们先反其道而行之,假设停机问题是可以计算的。
根据定义,这说明存在一台图灵机P,使得向它输入某个图灵机M的状态转移表编码,以及初始输入I,图灵机P就能在有限步运算内,判断出机器M在输入I上是否会停止。
接下来,我们将要用图灵机P构造一个逻辑上不可能存在的结构,这将是证明的关键。
我们来考虑一个新的图灵机R,它的输入是某个图灵机M的状态转移表编码。
图灵机R先“调用”图灵机P,判断图灵机M在初始输入上是否会停止。
用现代的计算机语言来说,就相当于调用函数P(,)。
如果图灵机P得出的结论是机器M在输入上会停止的话,图灵机R接下来就会进入死循环;否则,如果机器M在输入上不会停机的话,图灵机R就停止。
图灵机R的构造有两个奇怪之处。
首先,在图灵机R的运作中,它尝试判断一台图灵机M在它自身的编码上的运作情况。
此时,图灵机M不仅是程序,同时也是数据。
这提醒我们,其实程序和数据没有实质的区别。
程序只是一种特殊的数据,能够被分析、整理、改写。
事实上,我们每天都在使用处理程序的程序。
比如说杀毒软件,其实就是一种扫描程序的程序。
它检查每个程序的内容,判断程序中有没有威胁计算机安全的恶意代码。
用杀毒软件扫描它自身,实际上就是让这个程序运作在它自身的代码之上。
我们也可以用记事本打开记事本的程序本身,或者用压缩软件打一个包含它程序本身的压缩包。
这些例子都说明了一个道理:
程序就是一种数据。
正因为程序就是数据,我们才得以完成图灵机的自我指涉。
其次,在图灵机R的构造中,如果M在输入上停机,那么R就不停机;如果M在输入上不停机,那么R就停机。
这就是说谎者悖论的翻版:
它的行为要与自己的判断相悖。
这样,我们就凑齐了说谎者悖论的两个要素:
自我指涉和自我否定。
剩下的,就是如何将这两个要素组合在一起,引出不可调和的矛盾了。
为了引出矛盾,我们来考虑图灵机R在自己的编码上的运行情况。
如果R在上停机的话,R必定没有进入死循环。
所以,在调用图灵机P时,得到的必然是“图灵机R在输入上不会停机”,才能避免死循环。
但图灵机P的这个结论不符合我们的假设,出现了逻辑矛盾,所以R不可能在上停机。
如果R在上不停机的话,因为图灵机P必定在有限时间内完成计算,所以R必定进入了死循环。
而R进入死循环的先决条件是,在调用图灵机P时,得到的是“图灵机R在输入上停机”。
而图灵机P的这个结论,同样不符合我们的假设。
由于同样的逻辑矛盾,R同样不可能在上不停机。
所以,根据严密的逻辑,我们构造的图灵机R在自己的编码上,既不可能停机又不可能不停机,这是不可能的。
另一方面,我们的逻辑推理也是没有问题的。
尽管多么不情愿,剩下的可能性只有一种:
我们假设的那个能完美解决停机问题的图灵机P,根本不存在!
也就是说,停机问题是不可计算的。
。
【感谢neko(@iNEKO_mini)提供图片】
这个结论,我们称之为停机定理。
以上的论述,作为停机定理的证明远远不算严谨,还有很多细枝末节需要填充。
但这些细节都是技术性的,并不妨碍主要的思想:
矛盾的自我指涉。
停机定理的证明,一如哥德尔不完备性定理的证明,核心是化了妆的说谎者悖论。
图灵机的能力如此强大,一台通用图灵机就可以完成一切图灵机的工作,将所有图灵机作为数据处理。
也正因如此,图灵机不能解决某些牵涉它自身的问题,否则总会存在一些自我否定的“说谎者”,利用能解决牵涉自身问题的那些图灵机,完成被逻辑所禁止的,致命的自我指涉。
图灵机的能力,在必然的逻辑推演下,同时也成了它的枷锁。