LSTM之父再语出惊人:图灵被吹得太过了,计算机科学之父根本不是他
【导读】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
来源:新智元
LSTM之父再语出惊人:图灵被吹得太过了,计算机科学之父根本不是他相关推荐
- 罗永浩语出惊人怼iPhone;人机大战柯洁再败;三星深圳工厂整体裁撤| CSDN极客头条...
点击上方"CSDN",选择"置顶公众号" 关键时刻,第一时间送达! 「CSDN 极客头条」是从 CSDN 网站延伸至官方微信公众号的特别栏目,专注于一天业界事报 ...
- 在贵州大数据峰会上,马云再次语出惊人!
我们害怕孩子玩物丧志,经常会限制孩子玩耍的时间,但之前,马大大却提出了一个新的观点,要让孩子自由去玩耍! 如果不让孩子玩,30年后他们将找不到工作! 01 在贵州大数据峰会上,马云再次语出惊人,他 ...
- 语出惊人(心灵鸡汤)
读懂生命之重,才能看淡时光之轻. 这个时间落伍的计时器无意中包含对人生的讽刺和伤感,深于一切语言,一切啼笑.--<围城> 不管你有再多的兴趣爱好,再多的社会关系,再深的对努力学习的厌恶之感 ...
- “深度学习已死,可微编程万岁!”LeCun老师为何又语出惊人?
夏乙 编译整理 量子位 出品 | 公众号 QbitAI Deep Learning est mort. Vive Differentiable Programming! 这句英法混合的话,翻译成汉语, ...
- 2011年最犀利语录有哪些“语”出惊人?
1.讽刺是什么?讽刺就是即便你甘心当人家的厕纸,人家还嫌你纸软,弄脏了手指,纸硬,擦伤了屁股- 2.不要总说烂泥翻不上墙,因为即便你是混凝土,没人跟你翻,你还得在地上,有人翻了,不管泥再烂,还是会在墙 ...
- 马斯克语出惊人:大部分人没必要活那么长,未来把意识注入机器人实现永生...
博雯 发自 凹非寺 量子位 | 公众号 QbitAI 将人类的大脑复制到机器人上? 马斯克表示:还真有可能. 在最近的一次采访中,马斯克提到了去年特斯拉年度AI开放日上推出的人形机器人,擎天柱(Opt ...
- 上班上累了,辞职做全职网红!马斯克语出惊人...
喜欢在社交媒体放飞自我的马斯克,又又又又上热搜了.近日,据国外媒体报道,当地时间周四深夜,特斯拉CEO马斯克在推特上发文称:正在考虑辞去所有的工作,全身心地投入网红事业,你们认为呢? 这条推文仅在发布 ...
- php 弹窗代码大全,PHP_asp.net弹出窗口代码大全,//关闭,父窗口弹出对话框,子窗 - phpStudy...
asp.net弹出窗口代码大全 //关闭,父窗口弹出对话框,子窗口直接关闭 this.Response.Write(""); //关闭,父窗口和子窗口都不弹出对话框,直接关闭 th ...
- LSTM之父撰文,纪念这位图灵奖遗珠、“AI理论之父”
原文:1931: Kurt Gödel, founder of theoretical computer science, shows limits of math, logic, computing ...
最新文章
- oracle cusor游标,ORACLE CURSOR 游标详解
- json过滤特殊字符
- 业界率先支持 MCP-OVER-XDS 协议,Nacos 2.0.1 + 1.4.2 Release 正式发布
- int signed in mysql_【转】mysql 中int类型字段unsigned和signed的区别
- 推荐几款提升效率的神器
- 关于 SET QUOTED_IDENTIFIER ON 和 SET ANSI_NULLS ON
- k8s系统架构图(二)
- 厄米高斯光束 matlab,拉盖尔高斯光束_厄米高斯光束MATLAB仿真
- Linux下coredump调试1:使用
- Docker资源汇总
- SpringBoot进阶教程 | 第四篇:整合Mybatis实现多数据源
- 为什么有的人开车舍不得开空调?车载空调耗油吗?
- matlab中回归系数,最小一乘回归系数估计及其MATLAB实现
- SQL Server高级查询之常见数据库对象(数据库事务)第五章节
- 单片机c语言必背代码_单片机编程用C语言还是汇编?
- 陕西网络培训学院自动学习简易脚本
- PMP课程笔记:第4章 项目整合管理
- python微信图标制作_Python帮你微信头像任意添加装饰,别再@微信官方了!
- 支付宝资金预授权(冻结、解冻、转支付、异步通知回调、撤销、授权操作查询)
- mysql 创建数据库 utf8 命令_mysql创建数据库 utf8