图灵1936年发表论文

赫尔曼·何乐礼、范内瓦·布什、约翰·冯·诺依曼、比尔·盖茨、史蒂夫·乔布斯。

1、赫尔曼·何乐礼：

赫尔曼·何乐礼（英语：Herman Hollerith，1860年2月29日－1929年11月17日），生于水牛城，德裔美籍的统计学家。1896年，创办了制表机器公司（Tabulating Machine Company），后来成为IBM的前身（电脑的前身）。

2、范内瓦·布什：

范内瓦·布什(Vannevar Bush，1890.3.11~1974.6.26)，是二战时期美国最伟大的科学家和工程师之一。

他是模拟计算机的开创者，信息论之父香农是他的学生，1945年他发表的论文《诚如所思》("As We May Think")中提出了微缩摄影技术和麦克斯储存器(memex)的概念，开创了数字计算机和搜索引擎时代。在这篇论文里，范内瓦提出的诸多理论预测了二战后到现在几十年计算机的发展，许多后来的计算机领域先驱们都是受到这篇文章的启发，后来的鼠标，超文本等计算机技术的创造都是基于这篇具有理论时代意义的论文。

无论你审视信息技术发展史的哪个领域，布什都是在那里留下过足迹的具有远见的先驱性人物。正如历史学家迈克尔·雪利（Michael Sherry）所言，“要理解比尔·盖茨和比尔·克林顿的世界，你必须首先认识范内瓦·布什。”正是因其在信息技术领域多方面的贡献和超人远见，范内瓦·布什获得了“信息时代的教父”的美誉。

3、约翰·冯·诺依曼：

冯·诺依曼（John von Neumann，1903~1957），原籍匈牙利，布达佩斯大学数学博士。 20世纪最重要的数学家之一，在现代计算机、博弈论、核武器和生化武器等领域内的科学全才之一，被后人称为“计算机之父”和“博弈论之父”。

1946年，冯·诺依曼开始研究程序编制问题，他是现代数值分析——计算数学的缔造者之一，他首先研究线性代数和算术的数值计算，后来着重研究非线性微分方程的离散化以及稳定问题，并给出误差的估计。他协助发展了一些算法，特别是蒙特卡罗方法。

简单来说他的精髓贡献是两点：2进制思想与程序内存思想。

冯·诺依曼对人类的最大贡献是对计算机科学、计算机技术、数值分析和经济学中的博弈论的开拓性工作。

4、比尔·盖茨：

比尔·盖茨  （Bill Gates），全名威廉·亨利·盖茨三世，简称比尔或盖茨。1955年10月28日出生于美国华盛顿州西雅图，企业家、软件工程师、慈善家、微软公司创始人。曾任微软董事长、CEO和首席软件设计师。

在他的领导之下，成功建立了新一代的电脑系统，并且在潜移默化当中改变着人类的生活方式。带着计算机时代进入一个新的时期，一个人机交流和谐的时期。

5、史蒂夫·乔布斯：

史蒂夫·乔布斯（Steve Jobs）是苹果公司的前任首席运行官兼创办人之一，同时也是前Pixar动画公司的董事长及行政总裁（Pixar已在2006年被迪士尼收购）。乔布斯还是迪士尼公司的董事会成员和最大个人股东。乔布斯被认为是计算机业界与娱乐业界的标志性人物，同时人们也把他视作麦金塔计算机、ipad、iPod、iTunes Store、iPhone等知名数字产品的缔造者。

参考资料来源：百度百科 - 赫尔曼·何乐礼

参考资料来源：百度百科 - 范内瓦·布什

参考资料来源：百度百科 - 约翰·冯·诺依曼

参考资料来源：百度百科 - 比尔·盖茨

参考资料来源：百度百科 - 乔布斯

《论可计算数：图灵与现代计算的诞生》 克里斯·伯恩哈特图灵，

对于计算机领域是最高荣誉的代名词，但对于广大人民来说，可能会是个陌生的名字。在1936年，24岁的图灵就发表了这篇影响计算机学科构建的论文。论文的题目《论可计算数及其在判定问题上的应用 》（On Computable Numbers, with an Application to the Entscheidungsproblem），很简洁了当地体现了这篇论文的主旨，即对可计算数及其判定的研究。而这本书就围绕着这篇论文的内容，以及前前后后相关联的事情的介绍。这篇论文的主旨是为了证明一位顶尖数学家的观点是错误的，因此，图灵深入研究了计算，什么是计算，怎么定义计算，是否存在不可计算的问题，是否可以判断问题是否可计算等问题，然后通过构思出一种可以运行各种算法的机器，参考哥德尔和奥托尔给出了简洁美妙的证明。

虽然如此，但读完也只懵懵懂懂，晕晕乎乎。大体上，图灵为了证明希尔伯特作出的假设“存在一个决策程序，能够告诉我们一个论述能否通过这些公理证明（其所指的决策程序是一种清晰的计算过程，也就是我们现在所说的算法。他认为，向这个过程输入公理和可能结论，它应该告诉我们这个可能结论是否可以通过这些公理证明。）”，定义了计算，并设计出了这样的决策程序（图灵机），然后通过证明存在超出计算机解决能力的问题，来证明希尔伯特的假设的错误。通过矛盾证明法（罗素的理发师悖论），证明了停机问题（Halting Problem）和接纳问题（Acceptance Problem）都是不可判定的（存在一些图灵机可以接纳自己的编码，一些图灵机则不可以，但是不存在能够区分这两种情况的图灵机）。看了一遍，脑细胞损耗了一大半。不过，整体来说肯定比直接看论文要更容易，因为作者也提供了相关的知识背景介绍，是作为了解那篇论文的不可多得的一本书。