网易首页 > 网易号 > 正文 申请入驻

LSTM之父再语出惊人:图灵被吹得太过了,计算机科学之父根本不是他

0
分享至


新智元报道

来源:网络

编辑:David

【新智元导读】LSTM之父Jürgen Schmidhuber的考据瘾又上来了。他近日发文称,图灵对计算机科学的贡献被吹过头了,“现代计算机之父”也不是图灵。将图灵一人捧上神坛,过度夸大他的贡献,而对其他先驱的工作视而不见是有害的。

最近《自然》杂志发表呼吁:让我们“重视那些确保科学能够自我纠正的人”。认识我的人都可以证明,寻找和引用科技创新成果的最初起源,对我来说很重要。

今天这篇文章就是要做这件事。

在计算机科学的基本概念上,英国数学家阿兰·图灵做出了重要贡献,尤其在英美文化圈子里享有盛誉,有时被称为“计算机之父”。《自然》也发表过文章说,图灵1936年的论文“为后来的所有计算机的诞生构建了理论框架和基础。”


图灵1936年的论文《论可计算数及其在判定问题上的应用》

这个说法明显把图灵吹过了头。而这也同样影响了被称为“计算机的诺奖”的图灵奖的命名。虽然图灵确实如该奖委员会所说,“阐明了计算的数学基础和局限性”,但更重要的问题是,这些工作以前就一直有人在做。

那么是谁先做的呢?不是图灵。

回顾历史,图灵难称“计算机之父”


1931年,奥地利数学家库尔特·哥德尔(Kurt Gödel)和1935年美国的阿朗佐·丘奇(Alonzo Church)都在这个问题上取得了开创性成果。当然,图灵在1936 年的论文中引用了他们的成果。

1931年,Kurt Gödel创立理论计算机科学,实际上成为现代理论计算机科学的奠基人。他提出了一种基于整数的通用编码语言,以公理形式将任何数字计算机的操作形式化。哥德尔用它来表示数据(如公理和定理)和程序。

Gödel 最著名的成就是对形式系统的阐述,其中包括形式系统的计算 —— 给定一个计算定理证明器,从一组可枚举的公理中系统地枚举所有可能的定理,但是当陈述自我指涉时它将是不可解的。


Kurt Gödel(1906-1978)

Gödel确定了算法定理证明、计算和任何类型的基于计算的 AI 的基本局限性。实际上,从20 世纪 40 年代至 70 年代早期,关于人工智能的研究大部分是关于定理证明以及通过专家系统和逻辑编程的 Gödel 式演绎。

像大多数伟大的科学家一样,Gödel 的成果也建立在更早的先人成果的基础上。他将 Georg Cantor 的对角化技巧与 Gottlob Frege、Thoralf Skolem 和 Jacques Herbrand 的基础工作相结合。

而上面这些人的研究基础是莱布尼茨1686年的著作《思想的代数》。对,就是提出微积分的那个莱布尼茨。他也是 “计算机科学之父” 的候选人之一,被称为 “世界上第一个计算机科学家”,甚至是 “有史以来最聪明的人”。


莱布尼茨(1646-1716)

莱布尼茨不仅是提出微积分的第一人,而且还进行了一个雄心勃勃的项目,通过计算来回答所有可能的问题。

他曾说过:“如果出现争议,两个哲学家之间就不需要争论,而是像两个会计师之间一样,手里拿着铅笔,坐下来就足够了,用他们的石板互相说:让我们计算一下!” 然而,在 1931 年,Gödel 表明,以这种方式可判定或可计算的东西存在根本的局限性。


Alonzo Church (1903-1995)

1935 年,Alonzo Church 通过证明 Hilbert 和 Ackermann 著名的 Entscheidungs problem(决策问题)没有通用解决方案,推导出 Gödel 结果的扩展。为此,他使用了名为 Untyped LambdaCalculus 的替代通用编码语言,该语言构成了极具影响力的编程语言 LISP 的基础。


1936 年,图灵引入了另一个通用模型:图灵机,并成为后来最著名的通用模型(至少在计算机科学领域是如此)。他重新推导出了上述结果。当然,他在 1937 年的论文中同时引用了 Gödel 和 Church 的方法。

Post和图灵在 1936 年究竟做了哪些 Gödel和 Church没有做过的事情?有一个看似微小但却很重要的差异。

Gödel的许多指令序列是数字编码存储内容与整数的一系列乘法。同样,Church 在他的算法中也忽略了基本指令的时空复杂性。

而图灵和 Post 采用了传统的、简化的二进制的计算观点。他们的机器模型只允许非常简单的具有恒定复杂性的基本指令,就像莱布尼茨早期的二进制机器模型一样。

还有人说,图灵至少奠定了人工智能的基础。这种说法也站不住脚。


实际上,西班牙人 Leonardo Torres y Quevedo 是 20 世纪第一个实用 AI 的先驱,1914年,他建造了第一个可工作的国际象棋终局棋手(当时国际象棋被认为是一种仅限于智能生物领域的活动)

1948年,图灵写了相关的人工进化思想和学习人工神经网络的论文,至少它的结构可以追溯到1943年(至于其中物理学密切相关的前期工作自20世纪20年代就开始进行了)。


阿兰·图灵(1912-1954)

不过,图灵并没有发表这些文章。1950年,他提出了一个简单而著名测试,用于评估计算机是否是智能的。在1956年的达特茅斯会议上,“人工智能”一词由约翰·麦卡锡提出,成为此后相关研究的新标签。

然而,关于人工智能的第一次会议是在1951 年的巴黎举行的,当时大部分现在被称为“人工智能”的东西仍然被称为控制论,其内涵非常符合现代人工智能深度神经网络。

遗憾!两位AI理论先驱都没得过图灵奖

现代人工智能理论的先驱是Gödel,而非图灵。Gödel确定了人工智能、数学和计算的局限性,并通过专家系统基于自动定理证明和推论奠定了人工智能的正式基础。他在人工智能的基础成就大大早于图灵。实用人工智能最早的奠基者也不是图灵。


图灵奖创建于 1966 年,表彰 “对计算机领域具有持久和重大技术重要性” 的贡献。令人尴尬的是 ,Gödel从未获过该奖项,而为计算机科学理论基础做出重要贡献的Church也没有得过。这不能不说是一个讽刺。

在生物信息学方面,图灵最有影响力的贡献可能是在二战期间破解了纳粹德国使用的Enigma 密码。


有人认为,成功破解德军密码是盟军击败第三帝国的决定性因素

然而,著名的密码破译机Colossus 是由 Tommy Flowers(而非图灵)设计的。这位英国密码学家的成果建立在波兰数学家Marian Rejewski、Jerzy Rozycki 和Henryk Zygalski 的早期基础工作之上,他们才是首批破解 Enigma 密码的人(以此为题材的电影中甚至连提都没提这些人)。

近一个世纪以来,有许多人对计算科学的理论和实践做出了贡献。图灵的贡献当然是巨大的,但他和其他人一样,都是站在巨人的肩膀上。

图灵1936年的著名论文中,引用了Gödel和Church的开创性成果 。我们今天如果将图灵一人捧上神坛,过度夸大他的贡献,而对其他先驱的工作视而不见,图灵本人想必也不会同意。

https://people.idsia.ch//~juergen/turing-oversold.html

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
上司向我抛出橄榄枝,我去她家和她发生关系,她却拿我当调剂品

上司向我抛出橄榄枝,我去她家和她发生关系,她却拿我当调剂品

故事的集中营
2021-10-21 13:20:40
当代大学生最后悔入坑的专业,你绝对猜不到

当代大学生最后悔入坑的专业,你绝对猜不到

有间大学
2021-10-20 23:24:31
儿媳住院,公公天天陪床,有回起夜,听见公公和护士对话,离了婚

儿媳住院,公公天天陪床,有回起夜,听见公公和护士对话,离了婚

甜蜜婶子
2021-10-21 13:12:56
穆帅:我们遭受了历史性的失败 是我决定轮换阵容输球责任在我

穆帅:我们遭受了历史性的失败 是我决定轮换阵容输球责任在我

直播吧
2021-10-22 03:22:03
黄晓明近况惹担忧!一边吃饭一边戴呼吸机,脸色淡定似已习惯

黄晓明近况惹担忧!一边吃饭一边戴呼吸机,脸色淡定似已习惯

猫眼娱乐官方号
2021-10-21 20:04:17
央视著名主持人张斌:再婚娶美女主播,婚姻风波过后结局怎样?

央视著名主持人张斌:再婚娶美女主播,婚姻风波过后结局怎样?

茶余饭后说名人
2021-10-20 18:25:46
《好声音》伍珂玥的父亲不简单,既是老板又是画家,难怪她能夺冠

《好声音》伍珂玥的父亲不简单,既是老板又是画家,难怪她能夺冠

畅聊娱乐瓜
2021-10-21 14:26:48
拉走台积电卡死中国脖子?专家撂下明牌:最简单的方法就是统一

拉走台积电卡死中国脖子?专家撂下明牌:最简单的方法就是统一

前沿时刻
2021-10-21 14:42:51
飞人刘翔在退役后被安置到了上海体育局,如今他是什么级别?

飞人刘翔在退役后被安置到了上海体育局,如今他是什么级别?

体坛新鲜资讯速递
2021-10-21 21:22:27
尼采:一个腐败的社会一般有哪些特征?

尼采:一个腐败的社会一般有哪些特征?

局小乖简史
2021-10-21 09:23:52
三星没有中国竟然还能成为世界第一,大意了。小米竟然是世界第三

三星没有中国竟然还能成为世界第一,大意了。小米竟然是世界第三

迷糊蛇
2021-10-21 11:21:28
走了马蓉来了冯清,新女友恶评不断,王宝强到底迷恋她什么?

走了马蓉来了冯清,新女友恶评不断,王宝强到底迷恋她什么?

娱乐晴雨表
2021-10-21 15:54:56
李云迪二进宫?知情人曝李云迪嫖娼并非首次,上半年也被抓过一次

李云迪二进宫?知情人曝李云迪嫖娼并非首次,上半年也被抓过一次

我娱乐有约
2021-10-22 01:13:39
肥猪日渐瘦弱,寡妇却越发丰盈,木匠:把猪折腾坏了

肥猪日渐瘦弱,寡妇却越发丰盈,木匠:把猪折腾坏了

趣史闲说
2021-10-20 23:35:21
世贸组织20日开始对中国进行贸易政策审议,澳方称中方的言论和行动之间差距越来越大,商务部回应

世贸组织20日开始对中国进行贸易政策审议,澳方称中方的言论和行动之间差距越来越大,商务部回应

北京商报
2021-10-21 17:24:23
“再见了,沈梦辰!”

“再见了,沈梦辰!”

久久爱娱乐
2021-10-21 15:10:09
楼市终于开闸了!

楼市终于开闸了!

樱桃大房子
2021-10-22 01:02:12
最新 | 全国再现高风险区!河北保定新增2例,为一对夫妻!

最新 | 全国再现高风险区!河北保定新增2例,为一对夫妻!

天津广播
2021-10-21 21:46:03
陈晓终于不再沉默,说出当年抛弃赵丽颖原因,难怪冯绍峰不想娶她

陈晓终于不再沉默,说出当年抛弃赵丽颖原因,难怪冯绍峰不想娶她

八圈儿大佬
2021-10-22 01:38:14
成年男女的羞耻

成年男女的羞耻

午睡星球
2021-10-21 13:46:02
2021-10-22 06:38:44
新智元
新智元
AI产业主平台领航智能+时代
7325文章数 51691关注度
往期回顾 全部

科技要闻

李佳琦薇娅1天卖189亿 网友:突然不识数了

头条要闻

网曝麦当劳使用过期食材发黑生菜接着用 网友炸锅

头条要闻

网曝麦当劳使用过期食材发黑生菜接着用 网友炸锅

体育要闻

名记:伊什梅尔-温赖特将与太阳签下一份双向合同

娱乐要闻

5登春晚的李云迪,太让人失望了

财经要闻

汽车要闻

预计售15-20万元 大众ID.3将于10月22日上市

态度原创

游戏
房产
健康
艺术
数码

《奇异世界:灵魂风暴 增强版》将于11月底推出

房产要闻

旧改“减速”实锤!广州发文:防止大拆大改

以色列发现德尔塔新变种毒株AY4.2病例

艺术要闻

濮存昕:新排《雷雨》是我送给人艺的礼物

数码要闻

苹果偷偷上新!AirPods Pro新款开售 AirPods 3没地位了