天才数学家-图灵
生平
图灵（Alan Turing）出生1912年出生于英国，父母常年在印度工作，并且哥哥也是出生在印度。图灵早年在谢伯恩学校念书，擅长长跑。
图灵在学校结识了克里斯多夫（Christopher Morcom），并称他为灵魂伴侣。可是克里斯多夫在1930年死于肺结核，留给图灵的是对他深深的思念。
1931-1934，图灵就读于国王学院。图灵早在1924年证明了中央极限定理（Central Limit Theorem），这个证明使图灵1935年成为国王大学的Fellow。
希尔伯特1928年关于“数学是否是完备的（complete）”的问题引起了图灵的兴趣，希尔伯特自己的观点是“数学是完备的、一致的（consistent）、可判定的（decidable）”。哥德尔1931年证明了非完备性，但可判定性在1935年尚未解决。图灵证明没有特别强大的机器能解决可判定性问题。但在这一段研究过程中，图灵提出一种比较强大的机器几乎能解决大多数问题，就是图灵机。
当时，邱奇也做相关研究。于是，1936-1938年，图灵与邱奇一起在普林斯顿做研究，并获得普林斯顿的博士学位。
1938年7月图灵返回国王学院参加培训。不久，二战爆发。1942年，图灵参观了美国的贝尔实验室。回到英国，便着手语音加密机（名为Delilah）的研究。
战后，图灵的研究兴趣是制造计算机。先后在国家物理实验室（1945）和曼切斯特大学（1948年）从事相关研究。并因此开启了人工智能研究领域。他发表了“Computing Machinery and Intelligence”的论文，并首次提出图灵测试（Turing Test）的概念。论文的第一句话便是一个深邃的问题“Can machines think?”
大约从1950年开始，图灵的兴趣转向形态生成学（morphogenesis）。1952年，图灵因同性恋被逮捕并接受处罚。1954年6月7日，图灵被认定为自杀，死于氰化物中毒。
60年后，英国女王伊丽莎白二世赦免了图灵。英国首相卡梅伦表示：图灵在破解二战德军密码、拯救国家上发挥了关键作用，是一个了不起的人。
主要贡献
可计算性理论: 通用图灵机（Universal Turing Machine）和图灵可规约性（Turing Reducibility）
密码系统分析： 恩尼格玛密码机（Enigma）
人工智能: 图灵测试
数理生物学: 形态生成学和图灵假设（Turing hypothesis，关于模式形成的假设）
