1936年,年仅24岁的数学天才图灵,发表了一篇极为深奥的论文。没想到,这一举动竟然挑衅到了伟大的数学家希尔伯特,图灵差点儿被封杀。而另人惊愕的是,也正是靠这篇论文,图灵一跃成为计算机之父,闻名于世。
说到图灵这个名字,很多人都有所耳闻,毕竟没有图灵就没有我们现在用的计算机。但其实,一开始,图灵其实是个数学家。 在图灵那个年代,数学家里有一个绝对王者,那就是大名鼎鼎的希尔伯特。 当时的希尔伯特,数学界无人不知无人不晓,甚至隐隐有比肩欧拉之姿,被誉为欧洲数学界的教皇。 1900年,希尔伯特向国际数学界提出了23个有待解决的数学难题,此举影响深远,直至今日。 毫不夸张的说,在数学界,希尔伯特说什么就是什么,没人敢反对。 然而,剑桥大学一个愤世嫉俗的研究生,却非要证明希尔伯特的部分观点是错的。 这个研究生,就是图灵! 图灵针对的是希尔伯特的数学“全知性”—— 希尔伯特认为,数学是可以知道一切答案的,只要你给我足够的前提条件和计算空间。也就是说,只要问题表述的足够清楚精确,再加上合适的“程序”,系统(不管是人的系统还是机器系统)就可以解决任何数学问题。 这是希尔伯特对数学的坚定,也是希尔伯特自己的信仰。 但图灵非要挑战这个信仰! 于是,图灵废寝忘食的研究深入,很快携一篇深奥的论文横空出世,论文的名字非常拗口,名为《论可计算数及其判定问题上的应用》。 此文一出,举世皆惊! 因为,图灵居然在论文中指出希尔伯特的“数学全知性”的观点是错的! 这还得了? 那可是数学界的绝对王者希尔伯特啊! 你图灵一个小小研究生居然以下犯上?! 不出意外的,图灵遭到了漫天的批评和质疑,差一点点就被数学界封杀了。 但图灵依然我行我素,继续跟希尔伯特的支持者们对着干! 既然你希尔伯特说“只要有一个系统,理论上可以解决任何问题”,那么,我图灵就给你一个最强大的系统。 为此,图灵呕心沥血,发明了通用图灵机,也就是我们现代计算机的前身。 虽然图灵机较之现今仅能算作一个框架,但较之希尔伯特的“人”组成的系统,图灵机要强出不知凡几。 按希尔伯特的观点来说,图灵机这个“系统”理论上应该可以解决一切数学问题。 但图灵却是通过对通用计算机行为的推理,证明有一些定义明确的数学问题,是通用计算机无法解决的。 即使计算机有无限的内存空间,即使计算机能够永远持续计算,在有穷的步骤内,也无法给出“是”或者“否”的答案。 也就在这一刻,希尔伯特坚信的数学本质崩塌了,而图灵也携着图灵机霸气登顶历史舞台,荣获计算机之父的美誉。 如今,回望这段历史,我们或许该庆幸“被封杀”的图灵没有失意消沉,而是越战越勇,才成全了我们现在的计算机时代。 其实,很多名人都曾有过这种“磨难”,就像余华也曾经被退稿,不过他却是笑谈“心态更好了!” 这,大概就是名人成功的原因之一吧!#余华笑谈被退稿:心态更好了# |
|
来自: 新用户15472188 > 《待分类》