计算复杂性——序言

奖项及对应人物

• 屠呦呦：诺贝尔生理学或医学奖
• 莫言：诺贝尔文学奖
• 德布罗意：诺贝尔物理学奖
• 丘成桐（1982）、陶哲轩（2006）：菲尔兹奖（40岁以下）
• 陈省身（1983）、丘成桐（2010）：沃尔夫奖（没有年龄限制）
• 张益唐：孪生素数猜想
• 张首晟：华裔美籍物理学家

Church-Turing Thesis（邱奇图灵论题，不是Theorem定理）

任何算法都可以由一台图灵机来执行，即以任何编程语言编写的算法都可以被翻译成一台图灵机，反之亦然，因此任何一种编程语言都足够用来有效的表达任何算法。简而言之就是“任何在算法上可计算的问题同样可由图灵机计算”——算法的直观概念=图灵机算法

历届图灵奖得主及其贡献：

设计出第一台具有内置存储程序的计算机：莫里斯·威尔克斯 (Maurice V. Wilkes) :
人工智能：马文·明斯基(Marvin Minsky)、约翰-麦卡锡(John McCarthy)、艾伦·纽厄尔（Allen Newell）、希尔伯特·西蒙（Herbert Simon）
最短路Dijkstra算法：Dijkstra
数据库技术：查尔斯·巴赫曼 (Charles W. Bachman)
算法分析和程序语言设计：唐纳德·克努特（Donald Ervin Knuth）
非确定性机器概念：迈克尔·拉宾(Michael O Rabin)、达纳·斯科特（Dana S. Scott）
Backus范式（BNF）的发明人：巴克斯（Backus）
数据库之父、数据库关系模型：埃德加·弗兰克·科德（Edgar F. Codd）
奠定NPC理论的基础：史提芬库克

2000年图灵奖、院士：姚期智（清华姚班）
计算机与物理学之间的关系
优秀教授：应明生教授（量子计算）
优秀博士：季铮锋（量子纠缠）