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

新智元报道
来源：网络
【LSTM之父再语出惊人：图灵被吹得太过了，计算机科学之父根本不是他】编辑：David
【新智元导读】LSTM之父JürgenSchmidhuber的考据瘾又上来了。他近日发文称，图灵对计算机科学的贡献被吹过头了， “现代计算机之父”也不是图灵。将图灵一人捧上神坛，过度夸大他的贡献，而对其他先驱的工作视而不见是有害的。
最近《自然》杂志发表呼吁：让我们“重视那些确保科学能够自我纠正的人” 。认识我的人都可以证明，寻找和引用科技创新成果的最初起源，对我来说很重要。
今天这篇文章就是要做这件事。
在计算机科学的基本概念上，英国数学家阿兰·图灵做出了重要贡献，尤其在英美文化圈子里享有盛誉，有时被称为“计算机之父” 。《自然》也发表过文章说，图灵1936年的论文“为后来的所有计算机的诞生构建了理论框架和基础。 ”

图灵1936年的论文《论可计算数及其在判定问题上的应用》
这个说法明显把图灵吹过了头。而这也同样影响了被称为“计算机的诺奖”的图灵奖的命名。虽然图灵确实如该奖委员会所说， “阐明了计算的数学基础和局限性” ，但更重要的问题是，这些工作以前就一直有人在做。
那么是谁先做的呢？不是图灵。
回顾历史，图灵难称“计算机之父”

1931年，奥地利数学家库尔特·哥德尔（KurtG?del）和1935年美国的阿朗佐·丘奇（AlonzoChurch）都在这个问题上取得了开创性成果。当然，图灵在1936年的论文中引用了他们的成果。
1931年， KurtG?del创立理论计算机科学，实际上成为现代理论计算机科学的奠基人。他提出了一种基于整数的通用编码语言，以公理形式将任何数字计算机的操作形式化。哥德尔用它来表示数据（如公理和定理）和程序。
G?del最著名的成就是对形式系统的阐述，其中包括形式系统的计算——给定一个计算定理证明器，从一组可枚举的公理中系统地枚举所有可能的定理，但是当陈述自我指涉时它将是不可解的。

KurtG?del（1906-1978）
G?del确定了算法定理证明、计算和任何类型的基于计算的AI的基本局限性。实际上，从20世纪40年代至70年代早期，关于人工智能的研究大部分是关于定理证明以及通过专家系统和逻辑编程的G?del式演绎。
像大多数伟大的科学家一样， G?del的成果也建立在更早的先人成果的基础上。他将GeorgCantor的对角化技巧与GottlobFrege、ThoralfSkolem和JacquesHerbrand的基础工作相结合。
而上面这些人的研究基础是莱布尼茨1686年的著作《思想的代数》。对，就是提出微积分的那个莱布尼茨。他也是“计算机科学之父”的候选人之一，被称为“世界上第一个计算机科学家” ，甚至是“有史以来最聪明的人” 。

莱布尼茨（1646-1716）
莱布尼茨不仅是提出微积分的第一人，而且还进行了一个雄心勃勃的项目，通过计算来回答所有可能的问题。
他曾说过：“如果出现争议，两个哲学家之间就不需要争论，而是像两个会计师之间一样，手里拿着铅笔，坐下来就足够了，用他们的石板互相说：让我们计算一下！”然而，在1931年， G?del表明，以这种方式可判定或可计算的东西存在根本的局限性。