《图灵的秘密》是关于图灵1936年那篇开创性论文的解读,内容很多很难,需要的背景知识包括数理逻辑,lambda演算,以及一些基本的数论。读完的笔记也许都会比原书多,这里想简洁或者宏观性地谈谈几个主角之间的“故事”。
实际上说争论更准确。
初(我目前所知道的),大神莱布尼兹有两个及其宏大,甚至伟大的想法(若能实现,即使代价是将微积分其拱手让给牛顿,莱布尼兹绝对认为也值):
1. 创造一种通用语言可以描述所有的数学问题
2. 找到一种解决用这种语言描述的问题的方法
“元”语言似乎是第一个问题的方向,比如集合论和谓词逻辑。第二个问题更难,从某种哲学的角度来看,问题的表述与问题的解答是相关的 —— 描述好,答案自然好得出(这种观点被有限的事实证实,但显然无法被证明正确。实际上,这就像人身体吸收营养一样:身体无法直接吸收大白菜或者蛋白质,而是需要先分解,将其转换成为身体能够吸收的物质。对于知识或者想法也是一样,你从阅读中获得的只能成为信息,或者说是某种符号排列,想让它们变得对自己有意义,需要主动的思考,或者准备将是同构 —— 写作正是同构最有效的手段。理解就是变得有意义,一串对自己有意义的符号需要自己对原符号的主动重新的编排,好的编排就是好的写作,就是好的理解。写作是记忆,更是理解。),而最好的描述可以对其进行有限的,近乎机械式的转换而得到结果。这就是这个想法的伟大之处。
这也是我们对“智慧”的终极拷问。这种自动推断答案的系统是否真正具备人类的智能?就像几个世纪前人们喜欢问人脑是内燃机一样,也许几个世纪以后的人会用同样的眼光看我们。类似的问题有类似的两派观点:
1. 这种完全不知所谓的,只知道机械地进行符号操作的机器,虽然最终得出了答案,但它本身是机械的,根本不具备人类的智慧。
2. 你敢确定,人类的智慧不是类似的符号替换操作。
在电脑之前我们认为象棋是人才能做的事情,是人聪明智慧的象征,但随着计算机技术的发展打败最厉害的人类已经不需要最厉害的计算机了。这也许不是说明象棋很简单,而是说明人类的智慧多么幼稚。我们很难将智能与简单的符号处理联系起来,也许因为它们根本就不是一回事,也许我们根本就没发现。大神们试图利用这套符号系统解决具体的数学问题,这个至少比象棋更能印证人类智慧的活动,真是伟大的尝试!
但是,一般而言,伟大的另一层含义是不可能。
希尔伯特继承了莱布尼兹的光荣传统,甚至接近了最终那个伟大的答案,然而就在一切似乎都已完满的前夜,哥德尔,一个在哥廷根上空徘徊的幽灵出现了。他认为 —— 其实是证明了通过1)创造出来的系统中,存在无法用2)解决的问题。鱼和熊掌不可兼得就是这个意思。具体而言,哥德尔证明下面两条定理:
1. 任何相容的形式体系,只要蕴涵皮亚诺算术公理,就可以在其中构造在体系中既不能证明也不能否证的命题(即体系是不完备的)。
2. 任何相容的形式体系,只要蕴涵皮亚诺算术公理,它就不能用于证明它本身的相容性。
如果说哥德尔是给希尔伯特的首次致命打击,那么图灵便是第二次致命打击,图灵认为 —— 其实也是证明了,不存在通用的过程来判定任一命题在一阶谓词逻辑系统是否可证。如果想象这四位主角之间的穿越体对话,可能会是这样:
莱布尼兹:我有一个想法,不,事实上是两个,尽管本质上可能是一个:一套完美的语言系统能陈述并解决所有数学问题。
希尔伯特:我完全认为你不是在说疯话,我几乎快要实现了你的想法,也许只差那么一点点了…,形式化公理系统不是人类的发明,而是上帝的发明,人类的发现。
哥德尔:希总,其实情况不是酱紫的…,这个系统中存在不能被证明的命题。
希尔伯特:你说什么!?
哥德尔:…
希尔伯特:… 好吧,你的论文没错。尽管如此,我们一定有能找到这种变态命题的方法,我的意思是,你懂的,一般性的方法。这样就能识别出这样的变态问题。
图灵:没有。我是说,没有这样的通用方法。
希尔伯特:wtf!!
图灵:如果我们朝好的方向看,有一类问题是完全可以解出的,而且有通用解法。这样,莱两点至少部分被解决了。
莱布尼兹:我部分接受,剩下的,家祭无忘告乃翁。
以上内容选自豆瓣:Reduci
若是你有兴趣,欢迎阅读这本《图灵的秘密》
相关推荐
人工智能之父——图灵.pdf
形式语言自动机——图灵机一PPT学习教案.pptx
一本学习jsp的好书,特别对初学者是一本值得执着的书。希望大家有爱好者多多支持@》》…………
符号单元插件使用:学习水泵的制作,报警事件,配方的教程
图页设计是组态软件的静态数据库的建立过程,学习图页的设计不仅要以实现控制目的为主要任务 ,还要强调图页界面的美观和易操作性,并且熟练掌握各个功能空间的应用。在图页中画出一条直线,利用直线的流动动画功能...
功能在确认正常工作后才上传。 【适用人群】: 适用于希望学习不同技术领域的小白或进阶学习者。 可作为毕设项目、课程设计、大作业、工程实训或初期项目立项。 【附加价值】: 项目具有较高的学习借鉴价值,也可...
图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型,佩措尔德编著的《图灵的秘密:他的生平、思想及论文解读》深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》。《图灵的秘密:...
微信开发——接入图灵机器人所需要的jar
图灵的秘密AZW3版本图灵的秘密AZW3版本图灵的秘密AZW3版本
从图灵测试到ChatGPT——人机对话的里程碑及启示.pdf
javascript实战 图灵系列 第三卷
javascript实战 图灵系列 这是第二卷
javascript实战 图灵系列 这是第四卷
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的...
图灵机器人————在线一对一人机聊天 使用图灵机器人接口实现
javascript实战 图灵系列 分成四个压缩包,用好压解压,这是第一个
副标题:他的生平、思想及论文解读原作名: The Annotated Turing作者: Charles Petzold图灵机是英国数学家阿兰·麦席森·图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可...
研究过计算机的历史、技术或理论的人,都会接触到“图灵机”这个概念。...而由此得到的意外收获是,图灵创立了一个新的研究领域——计算理论(或可计算性),它主要研究数字计算机的功能和局限性。
图灵的秘密,英文原版.Charles Petzold 著。
图灵指数——学术大数据下的跨领域跨年代学者影响力评估.docx