揭秘你看不见的阿兰·图灵

很多人认为《模仿游戏》作为一部传记**，对阿兰·图灵的还原并不真实。这里就让我们史海钩沉，在影像与真实的对比中，为大家答疑解惑，解码一位**中看不见的阿兰·图灵。

<img p=""

时光 稿 颁奖季的热门英国**《模仿游戏》上映之后，收获的不仅是高票房与赞誉声，也有些抨击其篡改历史的声音未曾散去。

很多人认为，《模仿游戏》作为一部传记**，对阿兰·图灵的还原并不够真实。这里就让我们史海钩沉，在影像与真实的对比中，为大家答疑解惑，解码一位**中看不见的阿兰·图灵。

1 图灵的性格当真如此古怪吗？

<img p=""

图灵（左）与"卷福"饰演的图灵（右）

**《模仿游戏》中本尼迪克特·康伯巴奇饰演的阿兰·图灵极度内向、不善言辞、社交技能为负值，几乎就是《神探夏洛克》里“卷福”与《生活大爆炸》里“谢耳朵”的结合加强版。

许多天才科学家都被孤独症困扰，图灵也的确有类似症状，但不像**里表现的那样突出。年轻时，图灵性格古怪，特别害羞，会有意避免与别人的目光接触。不过图灵并非片中那样处处受人嫌弃，相反来到布莱切利公园之后，他的天才、他的坦率直言都在同事之间备受尊重。从某种程度来说，布莱切利公园里的图灵，是个颇有魅力的技术宅。图灵导师的妻子琳恩·埃尔文曾这样描述他：“一旦他真诚的看着你，友善的交谈起来，你就再也难把目光从他的身上移开。从他的眼神里你能读出到那种直率、善解人意以及得体的礼貌。”

2 **里图灵为什么一直跑啊跑？

<img p=""

长跑健将图灵

爱因斯坦会演奏小提琴来梳理自己的思绪，福尔摩斯的得力助手除了华生还有击剑和小提琴，图灵当然也有数学之外的特长，那就是长跑。

图灵的长跑功力达到了专业运动员的水准，他跑马拉松的最好成绩为2:46:03，仅仅比1948年奥运会最好成绩慢了11分钟，在同年的一次国际马拉松赛中，图灵还跑赢了当年的奥运会银牌得主汤姆·理查德斯。

3 布莱切利公园招聘解密员真靠填字游戏？

英国的《每日电讯报》曾经受到当局委托，开办了一场填字游戏大赛，在12分钟内完成填字的获胜参赛者将能参加“一项特殊工作，为战事贡献力量”。**《模仿游戏》就利用了这段历史来引入凯拉·奈特莉的角色琼安·克拉克。

4 布莱切利公园里的8号小屋有什么特别意义？

<img p=""

图灵研究的解码机当年就摆放在10号小屋里

布莱切利公园正好位于在交通枢纽米尔顿·凯恩斯的南边，是连接汇聚全英天才学者的两座学府——牛津与剑桥的中点，这也是它被选中作为解码基地的主要原因之一。当图灵等人来到这里的时候，他们的身份被掩盖。家人朋友都不知道他们究竟在做什么工作。这里所有的机构和位置都以代号称呼。

其中专门收集情报的小屋就以具体功能不同被分类成1-10号。其中8号小屋专门用来破译海军的英格玛系统。这也是为什么**里总体到U型潜艇的原因。而图灵研制的解码机则被安置在10号小屋。

5 克里斯托弗与图灵的爱有多深？

《模仿游戏》里克里斯托弗是从校园恶棍手中解救图灵的英雄，两人也是数学课上最聪明的学生，会一起钻研密码学，还用密码在课上传传爱的小纸条。

<img p=""

学生时代的克里斯托弗（左）与图灵（右）

现实中的克里斯托弗·摩尔康姆虽说没有那样高大英武，可他的确是小图灵情窦初开的对象。图灵14岁的时候进入舍尔伯恩男校学习，在那里他结识了高他一级的学长克里斯托弗。两位擅长化学与数学的天才学生很快一拍即合，共度了三年的美好时光之后，肺结核在1930年夺走了克里斯托弗的生命，那时克里斯托弗刚刚收到剑桥大学的录取通知书。

尽管当时的校长曾提前告知图灵关于克里斯托弗的病症，不过挚友的离世依然令他悲痛欲绝。他并没有像**里那样抑制自己的感情，据说舍尔伯恩男校的所有人都能感受得到图灵的悲伤。比起图灵毫不掩饰的示爱，克里斯托弗其实并不是很热衷跟学弟秀恩爱。图灵曾在信中写到：“克里斯（克里斯托弗的昵称）知道我有多喜欢他，不过他挺讨厌我把这份感情表达的太明显。”克里斯托弗过世之后，图灵经常去探望他的家人，与摩尔康姆一家结下了深厚情谊，图灵甚至会和摩尔康姆家一块度假。离开舍尔伯恩之后，图灵也始终与克里斯托弗的母亲保持着联系。

6 图灵的解码机真的叫“克里斯托弗”吗？

<img p=""

“炸弹机”（Bombe）原型

很遗憾现实没有**那般浪漫，这款解码机名叫“炸弹机”。炸弹机也不是图灵一手发明的，他参考了一部波兰解码机的设计。经过改造之后，这款机器的解码能力有了本质上的提高。当时还有另一位数学家高登·维尔史曼帮助图灵共同完成了“炸弹机”。

《模仿游戏》里图灵发明的解码机由道具设计师们基于“炸弹机”模型仿制而成，设计师们去掉了原本的机器外壳，增加了更多红色的粗电线，希望能表达一种“血液向机器大脑供养”的寓意。

7 解码小分队同事与图灵之间有什么不得不说的故事？

<img p=""

休·亚历山大与马修·古迪的造型对比

图灵与解码小分队队长休·亚历山大（马修·古迪饰）在**中一度争锋相对，现实中的两人关系却非常融洽。休从一开始就被指派为图灵解码团队的主管，在图灵把工作重心转移到其他项目以后，解码机的项目就由休全权接管了。他俩在离开布莱切利公园之后就失去了联系，当1952年图灵因同性恋猥亵罪遭受审判的时候，休还曾出庭为图灵做过辩护。

《模仿游戏》里有这样一段戏：图灵给首相丘吉尔打小报告，让自己坐上了休的领导位子，并由此开始解码机设计。事实上，图灵的确给丘吉尔写过信，但这封信却是他与休·亚历山大和另外两位同事一起写的，他们在信中提出希望能给布莱切利公园增派人手和物资，丘吉尔很快便对这封信做出回应，并满足了他们的需求。

布莱切利公园里所有相关人士的身份都不是虚构的，包括苏联间谍约翰·凯恩克洛斯(艾伦·里奇饰）。现实中的约翰其实与图灵没有交际，他没有在图灵的解码团队里工作过，两人的工作间分别位于公园里的不同区域。

8 琼安·克拉克与图灵究竟因何结缘？

<img p=""

琼安并没有参加过填字游戏面试

琼安·克拉克（凯拉·奈特莉饰）是布莱切利公园里的无名英雄之一。二战时期的英国女性很少会从事那些被男性统治的领域，教育与工种上的性别歧视依然十分严重。

与**《模仿游戏》不同的是，琼安起初在布莱切利公园里从事的是秘书工作（**里也借这件事调侃了当时的性别歧视问题），不就之后琼安被提拔进入8号木屋的解码团队，并由此与图灵结下不解之缘。霍奇森撰写的图灵传记里提到，两人其实早就在剑桥见过面。而在BBC早年的一段纪录片里，琼安本人也详细描述了她与图灵的交往过程。

<img p=""

现实中的琼安·克拉克与凯拉·奈特莉造型对比

相识之后，图灵很快发现自己被琼安吸引了，两人不仅谈得来，还时常一起看**、散步，。现实中的琼安并没有经历**里凯拉·奈特莉“大龄女被父母逼婚”的遭遇，但她的确是图灵生命中唯一的求婚对象。1941年，当图灵说出那句“你会考虑嫁给我吗”的时候，琼安毫不犹豫的答应了。

求婚成功的第二天中午，图灵就向琼安透露了自己的同性恋倾向，但这个理由并没有让琼安反悔，也不是两人最终分手的导火索。订婚之后，图灵与琼安不仅会偶尔拥吻，图灵还带着琼安去看望过他妈妈。当时布莱切利公园的同事里，几乎没有人知道图灵的性取向。分手后，图灵虽然没有变成琼安的gay蜜但两人还是朋友，他们在二战结束之后依然保持着书信往来。

虽说琼安在6分钟之内完成图灵都解不开的填字游戏是完全虚构的，不过与她共事过的人都对她的才华赞不绝口。休·亚历山大就评价琼恩说“她是最棒的解码员之一”，琼恩不仅帮助破译了许多改变战局的情报，还在后期成为8号木屋的副主管。由于当局给布莱切利公园的人力配置中没有女性解码员的职位设定，琼恩在加入解码团队之后一直领着每周2镑的秘书薪水。为了能给琼恩加薪，他们在档案中把她归类为语言学家。

1、电子计算机

图灵在第二次世界大战中从事的密码破译工作涉及到电子计算机的设计和研制，但此项工作严格保密。直到70年代，内情才有所披露。

从一些文件来看，很可能世界上第一台电子计算机不是ENIAC，而是与图灵有关的另一台机器，即图灵在战时服务的机构于1943年研制成功的CO-LOSSUS(巨人)机，这台机器的设计采用了图灵提出的某些概念。

它用了1500个电子管，采用了光电管阅读器；利用穿孔纸带输入；并采用了电子管双稳态线路，执行计数、二进制算术及布尔代数逻辑运算，巨人机共生产了10台，用它们出色地完成了密码破译工作。

2、人工智能

1949年，图灵成为曼切斯特大学（University of Manchester ）计算实验室的副院长，致力研发运行Manchester Mark 1型号储存程序式计算机所需的软件。

1950年他发表论文《计算机器与智能》（ Computing Machinery and Intelligence），为后来的人工智能科学提供了开创性的构思。提出著名的“图灵测试”，指出如果第三者无法辨别人类与人工智能机器反应的差别， 则可以论断该机器具备人工智能。

3、数理生物学

从1952年直到去世，图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。

他主要的兴趣是斐波那契叶序列，存在于植物结构的斐波那契数。他应用了反应-扩散公式，如今已经成为图案形成范畴的核心。他后期的论文都没有发表，一直等到1992年《艾伦·图灵选集》出版，这些文章才见天日。

扩展资料：

图灵对于人工智能的发展有诸多贡献，提出了一种用于判定机器是否具有智能的试验方法，即图灵试验，至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

图灵不但以破译密码而名闻天下，他在人工智能和计算机等领域也作出了重要贡献，他常被认为是现代计算机科学的创始人。

战争结束后，在曼彻斯特大学工作的他研制了“曼彻斯特马克一号”———著名的现代计算机之一。1999年，他被《时代》杂志评选为20世纪100个最重要的人物之一。

--艾伦·麦席森·图灵

1

我深深地吸了一口气，让控制室中凉爽的氧气一次性地灌入自己的胸腔，将手抄在裤兜里，眼睛紧紧盯着屏幕里那张精致的面容上，唇角勾起一丝极为勉强的笑意：“莉莉安，恭喜你啊，你通过了第三阶段图灵测试，欢迎来到芝加哥图灵工作中心。”

这是个最好的时代，同时也是一个最坏的时代。

我暗自在心中说道。

2

这里是美国芝加哥，而这，是一个社会科技全速发展的时代。人和宇宙的关系不再单单是三维体生活在四维世界中。科技的发达，驳倒了一个世纪之前的科学家为维度和时间轴下的定义，人类在无尽的探索和探究中，发掘了五维空间对时间轴的控制。这是2157年的地球年，走在街道上，这里一切的一切都是人类高科技的产物。而在这个全新的时代，这里一切的一切又同时导致一个不可控制的因素的发展——人工智能。

人工智能发源于几乎两个世纪之前的地球。1953年，第一台人工智能机器人通过了当时的图灵测试——使人们通过和它的对话认为他是个小男孩。这是美国人首创的图灵测试，也就是我们现在所称的第一阶段图灵测试。

自此之后，人工智能飞速发展。

从智能AlphaGo击败世界顶尖围棋高手到现在。

终于，在两个世纪后的今天，人工智能达到了恐怖谷理论的谷底。所谓恐怖谷理论，就是人与人工智能差距越来越小的预言。

3

面前的莉莉安已经与人类毫无差别，从眼神到行为举止，自然得体，每一块肌肉都显得那么真实可触。若不是作为一个将她制造出来的图灵工作者的我，恐怕压根不会分辨这到底是不是人类。

我是一名图灵工作者，如今的图灵是以人工智能为对象的完整的设计和测试体系，我敢说，这项工程是人类除航空航天外，最伟大，也是发展最迅速的一项工程了。以目前芝加哥的技术而言，几乎每一个被制造出来的机器人都能顺利地通过图灵测试的第三阶段。这就是将机器人赋予记忆后分配到社会各界，没有人能分辨出其是人还是机器人的测试。作为一名图灵的总设计师，初来时的细节让我思考了很久，每个通过图灵测试的机器人将会被像产品一样回收总部，被图灵工作者们重新进入新的记忆，按性能的高低重新分配。这对于一个和人一样的机器人来说无疑是残忍的，我曾经多少次地为他们所经历的美好的感情又化作乌有而叹谓，却又不停的劝告自己，这些不过是为了完成人类目标而制造出来的机器人罢了。

有时在深夜为总部绘制设计图时，或是在不知多少杯咖啡后，为计算出精确的数据比例而揉着泛红的眼眶时，望着手中的蓝图上的机器人发怔。记忆植入大脑，使机器人自己根本地，彻底地消失自己是机器人的认识，即使他们是被上一秒制造出来的，仍然拥有十几年甚至几十年的记忆，对自己是人类的事坚信不疑。

而这，大概就是恐怖谷的恐怖之处了吧。

想到这里，寒意沿着脊骨攀了上来。

4

维克托是我的上司，也是我的工作伙伴。他是一位图灵工作的狂热爱好者，他总是能做出一些出乎人们意料的事情，更重要的是，他总能在我对创新的机器人结构一筹莫展时，为我递上一个令人激动的全新的视角，这也让我在熬夜到凌晨的倦意中得到一个巨大的安慰和动力。

他对工作的敬业程度同时也让人惊叹。每一次通过图灵测试的机器人被通知通过时，会在瞬间失去所有“生命体征”和记忆，这样一个我自己亲眼看着设计和制造的“人”刹那什么都不剩下了……我绝对会郁闷很长时间，那种悲伤没法办法描述，可维克托却一点情绪都没有流露，只是用他那双冰冷的深邃的蓝眼睛，盯着屏幕，脑子中只想着怎样将其重新组装成更接近完美的“人”。

真是个没有情感的人啊！我常常想。

他经常说：“作为图灵工作者，要视一切机器人只为机器，那最终不过被处理掉，尤其是你啊，艾琳，别总为他们掉眼泪。”

我的名字，叫做艾琳。

5

莉莉安是我和维克托设计测试的第七个项目，这可能是我有史以来设计的比例最为准确，面容最为精致的一个机器人了，这是连续几个星期维克托不再做他的仿真部件，而是陪着我画设计图的成果；是在芝加哥联邦图灵研讨发布会上，我演讲介绍，他帮我放映三维立体的图文文献的结果。可是最后一刻，莉莉安还是走了，像前六个一样，不再是我的莉莉安，不再有任何关于我的记忆。

最后的屏幕变黑的那一刻，泪水还是从我的眼眶中一涌而出。

我听到莉莉安叫我的名字：“艾琳，艾琳”，看到莉莉安睁开大大的，明亮的眸子望着我……

我在泪水模糊中看到维克托回首望着卷缩在墙角的我，他无奈地蹙了下眉头，最后还是转身坐在我旁边，看着极力忍住啜泣的我：“艾琳，别哭了……”“我能怎么办？我平生最怕的就是孤独，不能向任何人诉说，我怕，我怕有一天大家都忘了我，那我还有什么意义？”我几乎喊出来，带着哭腔，说出自己都不敢相信的话。

“……你看，艾琳，在这个世界里，任何东西都有其自己的意义，人工智能的意义就是帮助人类，即使他们忘了你，可他们会去帮助更多的人。坦然的接受，正是图灵工作者的义务和职责啊。”与其是对我说，他却更像是对自己说。

直至后来，我才懂得为什么。

6

那正是我准备设计第八个项目的早晨，维克托的助理突然叫我到维克托的办公室去。

我推门进去，却发现办公室里一个人都没有，我刚想张嘴喊维克托，一张放在他桌子上的纸引起了我的注意，上面大大的写着几行单词——“艾琳你的意义”。

这是什么，我皱了一下眉。

7

突然维克托桌子前的屏幕亮了起来，我看见维克托一个人站在控制室里，我甚至能感觉到那凉爽的空气。

这场景我简直太熟悉了，就在那一瞬间我什么都明白了。

维克托紧紧的盯着我，我看着，未语。

他深蓝色的眸底一如既往的没有波澜：“艾琳，恭喜你，通过了第三阶段图灵测试，欢迎来到芝加哥图灵工作中心。”终于，他静如古井的眼底勾起了波澜，狠狠的皱眉，轻启薄唇想说些什么，终没有说出。

我深深地知道，这将是我最后的记忆了。

看着黯淡下去的屏幕和逐渐模糊的视线。

“我明白，我全都明白。”我垂下眼帘……

这几年由于区块链的大热，以太坊独特的solidity语言实现智能合约功能， 图灵完备 这个词走进大家的视线。

没有计算机专业知识的同学其实很难理解这个词的意思，其实计算机专业的同学都没有深入理解图灵机，图灵完备，图灵测试等概念包含的内涵。为了方便理解区块链技术，理解智能合约，笔者准备分几篇文章来带大家从浅入深，一步一步带你深入理解图灵机，相信通过这几篇文章能就能够理解什么是图灵完备。

艾伦·麦席森·图灵（Alan Mathison Turing，1912年6月23日－1954年6月7日），英国数学家、逻辑学家， 被称为计算机科学理论之父，人工智能之父。

1931年，图灵考入剑桥大学国王学院，由于成绩优异而获得数学奖学金。

1936年5月，年仅24岁的图灵发表一篇题为《论数字计算在决断难题中的应用》的论文，论文中提出一种计算装置，后被称为 “图灵机” ，图灵机不是具体的计算机，而是一种计算概念、计算理论。

1938年在普林斯顿获博士学位，其论文题目为“以序数为基础的逻辑系统”，在数理逻辑研究中产生了深远的影响；同年图灵回到英国，在剑桥大学国王学院任研究员。

第二次世界大战期间，1939年图灵到英国外交部通信处从事军事工作，主要是破译敌方密码的工作。由于破译工作的需要，他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就，破译了德国人Enigma密码，于1945年获政府的最高奖——大英帝国荣誉勋章。

1945年，图灵结束了在外交部的工作，他试图恢复战前在理论计算机科学方面的研究，具体研制出新的计算机来。

1950年他发表论文《计算机器与智能》（ Computing Machinery and Intelligence），为后来的人工智能科学提供了开创性的构思。提出著名的 图灵测试 。

1950年，1950年10月，图灵发表论文《机器能思考吗》。这一划时代的作品，使图灵赢得了“人工智能之父”的桂冠。此时，人工智能也进入了实践研制阶段。随着这几年AI技术的不断成熟，人们越来越认识到图灵思想的深刻性：它们至今仍然是人工智能的主要思想之一。

1954年6月7日，年仅41岁的图灵被发现死于家中的床上，床头还放着一个被咬了一口的苹果。这就是现在大名鼎鼎的苹果电脑公司logo的来源。

从图灵的生平中，我们知道，他出生在20世纪初，1912年。

在世界国家格局上，这个时候刚刚爆发第一次世界大战（1913~1921），紧接着1939年至1945年第二次世界大战，大家知道，这两次世界大战倒逼了很多科技的发展，二战期间恰好是图灵青年时代。

在科技文明发展上，由于逻辑的数学化，促使了数理逻辑学科的诞生和发展。但同时这个时期数学上发生了第三次数学危机，具体介绍在下方。图灵在剑桥读大学期间，修读了“数学基础”课程，授课人是纽曼，纽曼整个课程包含对哥德尔不完备性定理的证明和尚未解决的判定性问题。

这些科技事件的背后，其实是人们在认知上，对 可计算性理论 的研究，图灵正是这个问题终结者。

随便提一下，爱因斯坦1905年提出狭义相对论，1927年年仅15岁的图灵为了帮助母亲理解相对论，还写过论文的摘要。

在20世纪以前，人们普遍认为，所有的问题类都是有算法的，人们的计算研究就是找出算法来。1900年，当时著名的大数学家希尔伯特在世纪之交的数学家大会上给国际数学界提出了著名的23个数学问题。

其中第十问题是这样的：

“丢番图方程”指：有一个或者几个变量的整系数方程，它们的求解仅仅在整数范围内进行。

上面这个问题简单点解释是：随便给一个不确定的方程，是否通过有限的步骤运算，判断这个方程是否存在整数解。

这个问题在1970年，苏联一个数学家证明了其实很多数学问题，是没有答案，甚至没有答案的问题比有答案的问题还要多。

这里就提出来了有限的、机械的证明步骤的问题，其实就是算法。但在当时，人们还不知道“算法”是什么。实际上，当时数学领域中已经有很多问题都是跟“算法”密切相关的，因而，科学的 “算法” 定义呼之欲出。之后到了30年代的时候，终于有两个人分别提出了精确定义算法的方法，一个人是图灵，一个人是丘奇。而其中图灵提出来的图灵机模型直观形象。

图灵思考这个问题的方式和常人不一样，在写前面提到的论文《论可计算数及其在判定性问题上的应用》的时候，图灵在思考三个问题

图灵这样的天才考虑问题的认知是高屋建瓴的。

图灵首先考虑的是是否所有数学问题都用解，如果这个问题不解决，辛辛苦苦解题，最后发现无解，一切的努力都是浪费时间和精力。

对于存在答案的数学问题，只有部分是可以在有限步骤内完成，这样把计算机的边界确定下来了。

确定了边界之后，就要设计一种通用、有效、等价的机器，保证可以按照这个方法做事，最后得到答案。而图灵机就是图灵设计出来的这样的一个机器，严格来讲是一种数学模型、计算理论模型。

从图灵机提出到现在已经过去了80多年，今天所有的计算机，包括量子计算机都没有超出图灵机的理论范畴。

第三次数学危机产生于十九世纪末和二十世纪初，当时正是数学空前兴旺发达的时期。首先是逻辑的数学化，促使了数理逻辑这门学科诞生。

早在19世纪末的时候，康托尔为集合论做了奠基性的研究。人们发现，运用集合这个概念可以概括所有的数学，也就是说集合是一切数学的基础。然而就当这座大厦即将完工的时候，一件可怕的事情发生了，罗素提出来的罗素悖论粉碎了数学家的梦想。

关于罗素悖论的一个通俗化版本是：

为什么要第三次数学危机呢？

因为有个很重要的概念： 停机问题 ，停机问题是逻辑数学中可计算性理论中很重要的问题，也是第三次数学危机的解决方案。

停机问题 通俗地说，停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。

有人猜测图灵机模型是图灵在思考 停机问题 而顺带设计出来的，是很有道理的。

图灵在剑桥大学国王学院期间，研究过一本叫做《量子力学的数学基础》的新书，这本书由年轻的匈牙利数学家约翰·冯·诺依曼所著。图灵意识到计算可以用确定性的机械运动来进行表示。其实我们现在的电子计算机虽然不是我们传统意义上的机械，但是CPU内部的电子运动等价于机械运动。

同时图灵也意识到人的思想、意识来自于量子力学中的测不准原理，这不光是微观世界，同时也是这个宇宙本身的规律。所以图灵意识到计算是确定性的，可判定的，而意识是不定的，不可计算的。

在AI人工智能有巨大发展的今天，很多人担心计算机是否会和人一样有意识，其实图灵在80多年前已经考虑过这个问题了。

前面提到，图灵在1950年写过一篇论文《计算机器与智能》，在这篇论文中，图灵测试一词被提出来：

这个测试有多难？目前我们所有的人工智能都没有完成这个测试。最近2018年3月份的谷歌I/O大会上演示的AI产品，据说“部分通过图灵测试”。这个部分到底有多少也未可知。

从人类科技发展的历史上来看，19世纪末到20世纪中期，是第二次工业革命和第三工业革命过渡的时期。第二次工业革命主要电和磁、内燃机的发明和使用，发展到这个时候科学家对世界的认知越来越多，越来越清晰，物理学和数学等自然科学发展迅速。这个时候的数学家发现很多现象可以用数学模型来表示，从物体的运动到星球的运动、从热能到动能的转换、从电到磁的转换等等。那问题来了是否所有的现象都可以用数学模型来表达呢？真是这个问题，让人们对数学很多根本性问题进行思考和研究。

中国有句古话说：乱世出英雄。在图灵的时代，在科学历史上出了很多的科学英雄，包括爱因斯坦、冯诺依曼、图灵、哥德尔等等，一方面是时代背景使然，一方面真是他们的天赋和努力让以信息化为代表的第三次工业革命的进程大大加快了。

从这些巨匠的思考问题，解决问题的方法和认知来看是超出常人的。从对 可计算性理论 的思考，给了我们很大的启示：

更多有关区块链的技术与思维，可扫码加入我的小密圈。在这里，我陪着你，大家一起研究区块链技术，探讨区块链思维，预测区块链未来，一起做未来前10%的人

主要系列有80多本，一共有200本左右。包括各种语言、前端和后端、人工智能、移动开发、web开发、数据库、操作系统等等。

具体的主要系列有：C/C++系列一共有18本，java系列总共有12本，net系列一共有23本，其他语言2本，软件工程类一共20本，操作系统系列总共18本 ，数据库类总共16本， 移动开发类总共13本 除了这些，其他的总共加起来得几百本。

扩展资料：

《图灵程序设计丛书》一些推荐书单：

1、《精通CSS：高级Web标准解决方案——图灵程序设计丛书》

2、《Java程序设copy计语言（第4版）百/图灵计算机科学丛书》

3、《JavaScript 高级程序设计——图灵程度序设计丛书》

4、《JSP高级程序设计——图灵程序设计丛书》

5、《C++编程规范:101条规则、准则与最佳实践（图灵程序设计丛书）》

6、《C++必知必会——图灵程序设计丛书》

图灵在科学、特别在数理逻辑和计算机科学方面，取得了举世瞩目的成就，他的一些科学成果，构成了现代计算机技术的基础。

图灵把可计算函数定义为图灵机可计算函数．1937年，图灵在他的“可计算性与λ可定义性”一文中证明了图灵机可计算函数与λ可定义函数是等价的，从而拓广了丘奇论点，得出：算法(能行)可计算函数等同于一般递归函数或λ可定义函数或图灵机可计算函数．这就是“丘奇-图灵论点”，相当完善地解决了可计算函数的精确定义问题，对数理逻辑的发展起了巨大的推动作用。

图灵机的概念有十分独特的意义：如果把图灵机的内部状态解释为指令，用字母表的字来表示，与输出字输入字同样存贮在机器里，那就成为电子计算机了。由此开创了“自动机”这一学科分支，促进了电子计算机的研制工作．

与此同时，图灵还提出了通用图灵机的概念，它相当于通用计算机的解释程序，这一点直接促进了后来通用计算机的设计和研制工作，图灵自己也参加了这一工作。

在给出通用图灵机的同时，图灵就指出，通用图灵机在计算时，其“机械性的复杂性”是有临界限度的，超过这一限度，就要靠增加程序的长度和存贮量来解决．这种思想开启了后来计算机科学中计算复杂性理论的先河。