/ 通用图灵机发明者 /
图灵从小就表现出了过人的才华,对数字和智力游戏十分着迷,之后便一发不可收。
1931 年,图灵进入剑桥大学学习数学。1934 年以优异成绩毕业后,图灵他在概率论方面的贡献,被选为剑桥大学国王学院的研究员。
在数学家看来,解决问题的“有效”方法,其实就是仅需要一个人类数学文员(mathematical clerk)死记硬背就能搞定的方法。在图灵生活的那个年代,那些死记硬背的工人实际上被称为“人类计算机”,他们完成了一些后来由电子计算机完成的工作。
决策问题(The Entscheidungsproblem)寻求一种有效的方法来解决基本数学问题,即判断哪些数学命题在给定的形式数学系统中是可证明的,哪些是不可证明的。判断这一点的方法被称为决策方法。
1936 年,图灵的开创性论文《论可计算数及其在判定问题中的应用》
(On Computable Numbers, with an Application to the Entscheidungsproblem)
被美国数理逻辑学家阿隆佐·邱奇(Alonzo Church)推荐发表。
在论文中,图灵提出了著名的“图灵机”的设想,将逻辑中的任意命题用一种通用的机器来表示和计算,并能按照一定的规则推导出结论,其推断结果通俗来讲则是:图灵机能计算的函数就是可计算的函数,反之则是不可计算的函数。
邱奇是图灵之后的博士导师,尽管他早于图灵得出了相同的结论,但图灵的论证更易于理解和直观,通用(图灵)机的概念也更新颖。图灵的方法对新兴的计算科学有着深远的意义。
1937-1938 年,图灵在普林斯顿大学度过了大部分时间,在邱奇的指导下获取了博士学位。图灵的论文介绍了超计算的概念,在图灵机加上了预言机,让研究图灵机无法解的问题变得可能。
/ 密码破译者 /
从普林斯顿大学毕业后,图灵回到了伦敦大学国王学院,随后加入了英国政府通信总部。
而在此几周之前,波兰政府向英国和法国提供了波兰破解德国军方用于加密无线电通信的主要密码机 Enigma 的细节。