“AI理论之父应该是哥德尔”,LSTM之父再抛惊人观点,网友:他有点走火入魔...
晓查 发自 凹非寺
量子位 报道 | 公众号 QbitAI
LSTM之父又发新博文了。
这位Jürgen Schmidhuber,几乎每隔一段时间就出来回顾AI历史,抛出一些极具争议的观点,这次也不例外。
△ Jürgen Schmidhuber
他在最新的一篇文章中,热烈庆祝哥德尔不完备定理发表90周年,并在标题上附上如下评论:
早在1931年,这位理论计算机科学的创始人就展示了数学、逻辑、计算和人工智能的局限性。
△ 库尔特·哥德尔
Schmidhuber还在文中给予了哥德尔极高的评价——AI理论之父。
他认为哥德尔确定了定理证明、计算、人工智能、逻辑和数学本身的基本局限性,对20世纪的科学和哲学产生了巨大的影响,他才是现代理论计算机科学和人工智能理论之父。
哥德尔不完备定理对AI理论真如他所说很重要吗,它到底是如何限制AI的?
什么是哥德尔不完备定理
1931年,著名的数学家、逻辑学家库尔特·哥德尔(Kurt Gödel)发表了著名的哥德尔不完备定理。这则定理证明了某些逻辑体系是不完备的,即某些真命题无法被证明。
其中第一条定理是:
任何自洽的形式系统,只要蕴涵皮亚诺算术公理,就可以在其中构造在体系中不能被证明的真命题,因此通过推理演绎不能得到所有真命题(即体系是不完备的)。
第二条定理是:
任何逻辑自洽的形式系统,只要蕴涵皮亚诺算术公理,它就不能用于证明其本身的自洽性。
这两段话确实不好理解,但它们都包含一个关键词——皮亚诺算术公理。它是用来定义自然数体系的五条公理。
也就是说,一套自洽的形式系统(比如计算机AI系统),如果包含自然数公理体系,那么这个系统中就存在一些无法被证明的真命题。
这就是Schmidhuber所说的人工智能的局限性。
Schmidhuber说了啥
Schmidhuber认为,哥德尔的理论说明,一个计算定理证明器无法枚举中一个体系中所有的定理(即不完备性),哥德尔确定了任何类型基于计算的AI系统所受的限制。
而这正是上世纪符号主义AI曾试图走的路。早期的符号主义AI希望通过基于一系列基本定理的专家系统,用逻辑推理的方法实现AI。
△ 一个早期搭载专家系统的平台
哥德尔不完备定理恰恰指出这条路是走不通的,因为有些真命题无法通过推理获得。
之后,Schmidhuber又简单回顾了丘奇、图灵等人在计算机理论方面的工作,以及机械计算机、实用人工智能技术发展史。
Schmidhuber还在文章中为哥德尔鸣不平,他说1966年美国计算机学会设立了图灵奖,用来表彰对计算机领域做出长久和重大技术贡献的人。但哥德尔直到1978年去世也从未获得过该奖。
“世界欠这些科学家一大笔债!”Schmidhuber在文章末尾说道。
彭罗斯:我不认同
那么,果真如Schmidhuber所说,哥德尔不完备定理是AI的阿喀琉斯之踵吗?学界对此观点一直众说纷纭。
AI与哥德尔不完备定理之间的联系,最早是由英国哲学家约翰·卢卡斯在1959年建立的。
△ 约翰·卢卡斯
他在一篇题为《心灵、机器和哥德尔》的论文中提出了Schmidhuber所秉持的观点。
卢卡斯指出,现代计算机是形式系统的一个例子。计算机具有有限的操作,并且符合哥德尔形式系统的定义。计算机的所有操作都可以用公式表示,并且由算法给出推理规则。
因此,当我们处理由机器执行的所有操作序列时,就是在形式系统中推理,哥德尔不完全定理也适用。
卢卡斯在这里将人类思维与计算机的形式系统进行比较:人类的头脑知道某个陈述是正确的,但根据哥德尔定理,该陈述无法在形式系统内被证明,因此不能由形式系统产生为真命题。
最后,卢卡斯得出结论,由于哥德尔不完备性定理指出的局限性,机器永远无法与人类的思想相比。
对于卢卡斯的观点,也有很多人反对,其中就包括2020年诺贝尔物理学奖得主彭罗斯。
早在他1989年的著作《皇帝新脑》中,他就曾指出,人类意识超越了构建计算机的形式逻辑。
△ 彭罗斯和他的著作《皇帝新脑》
彭罗斯指出,对大脑进行建模的机器应该允许进行非归纳推理。具体来说,就是让机器维护一个既不能证明为真也不能证明为假的命题列表,并根据情况把它们添加到公理列表中,从而弥补机器的不完备性。
而且,哥德尔不完备定理只有在机器保持一致性的情况下才成立,而人类的思维不是一致性的。当人类得出相互矛盾的结论时,不会坚持这个矛盾,而是会试图解决它。
除了彭罗斯外,还有其他的科学家驳斥卢卡斯,这里不再一一赘述。
而且现代以深度学习为基础的AI,关注的是一种相关性,而非因果性,所以哥德尔不完备定理对深度学习系统是否也适用呢?
总之,Schmidhuber提出的观点在计算机领域尚无最终定论。
对此,有网友也表达了对Schmidhuber的不认同:
我非常尊重Schmidhuber,但他的一些行为有点幼稚,这在他对AI历史的主张中更为明显。
这是典型Schmidhubr体,真实与夸张的混合。
去年,Schmidhuber曾发文指出Hinton并非反向传播的原创者,在AI圈激起了不小的波澜。他对AI历史研究的痴迷让一些网友感到不快。
有网友认为,这篇博客文章像一本糟糕的历史书,Schmidhuber对某项工作贡献归属问题过于走火入魔,把when和who看得比what和why更重要。
再插一个题外话,Schmidhuber在文章里没有说的一件事:哥德尔由于对数学上的极致追求,最后使他反对唯物主义。
哥德尔晚年将自己的哲学描述为“理性主义、理想主义、乐观主义和神学主义”,他的最后一篇论文,是上帝存在的本体论证明。
看来对一件事过于痴迷,可能并不是一件好事。
参考链接:
[1]https://people.idsia.ch/~juergen/goedel-1931-founder-theoretical-computer-science-AI.html
[2]https://news.ycombinator.com/item?id=27536974
[3]https://www.zhihu.com/question/67187230
[4]https://www.ft.com/content/9736eb4a-f034-44f2-98eb-341d90a111f0
[5]https://www.analyticsinsight.net/machine-learning-in-light-of-godels-incompleteness-theorems/
[6]https://www.sabinasz.net/godels-incompleteness-theorem-and-its-implications-for-artificial-intelligence/
“AI理论之父应该是哥德尔”,LSTM之父再抛惊人观点,网友:他有点走火入魔...相关推荐
- 哥德尔90年前的「不完备性定理」,奠定了计算机与AI的理论基础
大神早已远去,而他的光芒仍在人间. 1931 年,奥地利裔美国著名数学家库尔特 · 哥德尔(Kurt Gödel)在一篇论文<Über formal unentscheidbare Sätze ...
- 哥德尔十四条哲学信念对商业的启发
哥德尔是谁? 谈到哥德尔,不能不提到王浩,大多数中文读者了解哥德尔思想,多依赖于在大陆出版的王浩所著的两本中译本,一本是<哥德尔>,另一本是<逻辑之旅:从歌德 尔到哲学>.这两 ...
- 【计算理论】图灵机 ( 图灵机引入 | 公理化 | 希尔伯特纲领 | 哥德尔不完备定理 | 原始递归函数 )
文章目录 一.图灵机引入 二.公理化 三.希尔伯特纲领 四.哥德尔不完备定理 五.哥德尔 原始递归函数 一.图灵机引入 计算理论分为 形式语言与自动机 , 可计算部分 , 计算复杂性部分 ; 之前博客 ...
- 霍金 | 哥德尔和物理学的终结
来源:爱思想 转自:人机与认知实验室 作者:史蒂芬·霍金 英国剑桥大学著名物理学家,现代最伟大的物理学家之一 译者:凌高 [感谢陈禹老师:"冯·诺依曼说过,没有明确的概念,量得分析是毫无 ...
- 哥德尔:伟大的数学家与饱受精神疾病折磨的患者
来源:下文节选自中信出版鹦鹉螺<哥德尔传>,[遇见]已获发布授权,补充部分配图 时间回到 1970 年 3 月.一位精神科医生在泛黄的笔记本上奋笔疾书,记录着诊疗中的发现,有的稀松平常,有 ...
- 谁是滕尚华?两获哥德尔奖,上交大校友,喜欢「躺平式」科研
詹士 发自 凹非寺 量子位 | 公众号 QbitAI 两度获得理论计算机科学最高荣誉哥德尔奖,将75年前算法的理论做改进,并一直用到今天-- 他叫滕尚华,南加州大学教授,美国计算机协会会士(ACM f ...
- 哥德尔不完备定理”到底说了些什么?
来源:人机与认知实验室 (一) [中文网上深入介绍哥德尔不完备定理的文章很少,我这篇文章写得很长,花了不少时间打磨它,希望能帮助到爱好数学与逻辑的人.文章把理解哥德尔不完备定理分为了五重,建议只是想初 ...
- 理性的光辉,“哥德尔不完备定理”到底说了些什么?
关注:决策智能与机器学习,聚焦AI干货 编者按:智能技术要在理论研究方面必须要解决非线性现象的可建模机理与规律,其中哥德尔不完备定理不容忽视,哥德尔不完备定理.塔尔斯基形式语言真理论,图灵机和判定问题 ...
- 哥德尔不完全性定理 关系 谓词和代入——哥德尔读后之二十
哥德尔不完全性定理 关系 谓词和代入--哥德尔读后之二十 这两天从外刊文字中了解到,人工智能AI很牛,不是一般地牛,很可能超越人的智能.但有一个事实,却不是能够轻易就被否定掉的.那就是,所谓现代机器人 ...
最新文章
- 正态分布,此际回头看,原来并没有事
- 操作系统-银行家算法
- java字符函数_java字符串函数用法汇总
- glm编译错误问题解决 formal parameter with __declspec(align(#39;16#39;)) won#39;t be aligned...
- Android基础知识之智能指针:强指针和弱指针
- vm虚拟机无法访问共享文件夹
- 魔兽和星际最大差别是什么?
- S5P4418启动镜像分析
- NOIP2015跳石头【二分答案(最小值最大化) | 贪心】
- 从苏宁电器到卡巴斯基第35篇:番外篇——晒一晒病毒分析师的桌面(下)
- 算法中的微积分:5大函数求导公式让你在面试中脱颖而出
- Tableau制作全球电影数据分析/全球超市利润混合地图
- 手机如何当win10电脑摄像头使用
- 【STM32】通过RTThread驱动W25QXXX
- 包装类中Integer类最全详解
- python爬虫怎么爬小说_Python 新手] 爬虫练习:爬取起点中文网的小说排行并存入 excel 表格中...
- c语言的离骚,高中必修一语文离骚翻译及赏析
- RPC编程:Hessian RPC一个老的RPC框架(一)
- 邮件安全隐患有哪些?邮件安全如何保护?
- 十三届蓝桥杯大赛 报名进行中,参赛得奖你上你也行