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

AlonzoChurch（1903-1995）
1935年， AlonzoChurch通过证明Hilbert和Ackermann著名的Entscheidungsproblem（决策问题）没有通用解决方案，推导出G?del结果的扩展。为此，他使用了名为UntypedLambdaCalculus的替代通用编码语言，该语言构成了极具影响力的编程语言LISP的基础。

1936年，图灵引入了另一个通用模型：图灵机，并成为后来最著名的通用模型（至少在计算机科学领域是如此）。他重新推导出了上述结果。当然，他在1937年的论文中同时引用了G?del和Church的方法。
Post和图灵在1936年究竟做了哪些G?del和Church没有做过的事情？有一个看似微小但却很重要的差异。
G?del的许多指令序列是数字编码存储内容与整数的一系列乘法。同样， Church在他的算法中也忽略了基本指令的时空复杂性。
而图灵和Post采用了传统的、简化的二进制的计算观点。他们的机器模型只允许非常简单的具有恒定复杂性的基本指令，就像莱布尼茨早期的二进制机器模型一样。
还有人说，图灵至少奠定了人工智能的基础。这种说法也站不住脚。

实际上，西班牙人LeonardoTorresyQuevedo是20世纪第一个实用AI的先驱， 1914年，他建造了第一个可工作的国际象棋终局棋手（当时国际象棋被认为是一种仅限于智能生物领域的活动）
1948年，图灵写了相关的人工进化思想和学习人工神经网络的论文，至少它的结构可以追溯到1943年（至于其中物理学密切相关的前期工作自20世纪20年代就开始进行了）。

阿兰·图灵（1912-1954）
不过，图灵并没有发表这些文章。 1950年，他提出了一个简单而著名测试，用于评估计算机是否是智能的。在1956年的达特茅斯会议上， “人工智能”一词由约翰·麦卡锡提出，成为此后相关研究的新标签。
然而，关于人工智能的第一次会议是在1951年的巴黎举行的，当时大部分现在被称为“人工智能”的东西仍然被称为控制论，其内涵非常符合现代人工智能深度神经网络。
遗憾！两位AI理论先驱都没得过图灵奖
现代人工智能理论的先驱是G?del ，而非图灵。 G?del确定了人工智能、数学和计算的局限性，并通过专家系统基于自动定理证明和推论奠定了人工智能的正式基础。他在人工智能的基础成就大大早于图灵。实用人工智能最早的奠基者也不是图灵。

图灵奖创建于1966年，表彰“对计算机领域具有持久和重大技术重要性”的贡献。令人尴尬的是， G?del从未获过该奖项，而为计算机科学理论基础做出重要贡献的Church也没有得过。这不能不说是一个讽刺。
在生物信息学方面，图灵最有影响力的贡献可能是在二战期间破解了纳粹德国使用的Enigma密码。

有人认为，成功破解德军密码是盟军击败第三帝国的决定性因素
然而，著名的密码破译机Colossus是由TommyFlowers（而非图灵）设计的。这位英国密码学家的成果建立在波兰数学家MarianRejewski、JerzyRozycki和HenrykZygalski的早期基础工作之上，他们才是首批破解Enigma密码的人（以此为题材的电影中甚至连提都没提这些人）。