图灵奖中的数学家 zz
' X% C3 T( q+ M8 u: `; |% O2 p( M1 i. E) ^5 V2 {% I* q 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， , p. P) e) w& L+ [ 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 ' s+ G T V" O/ \0 F * d9 H9 T# H0 u. z 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 9 H2 d- g0 {; k& b8 e; b 图灵奖得主以及他们的主要成就。 , p) B$ J" a) o4 @6 t 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 7 N% h! x8 l; _* P 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna - u4 m0 |% G. a# g6 W+ O0 u 奖得主。 - @# `: ]' t. J 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 : V ^, f+ g1 c3 g 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 # x4 A* H6 b: I- ?% K0 g 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 2 q; ]' {1 ~2 }; ?) H 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 5 e! J: E6 c5 C _; R( U# z5 g 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 3 _2 v1 p5 N$ a+ P' _ 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 . j0 v- ^: t4 v7 W3 A 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 % G& y+ O* \+ ^0 x9 P7 v1 L 巨著 The Art of Computer Programming，已出版3卷。 7 j" F8 ]" h6 J : W* N: `& V+ t* t 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 5 l3 C7 {: E: h/ Q! }+ A% O$ b 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 ! z% q8 ^" b$ L8 a4 @ 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 , _) ^0 f/ u1 ?, d+ j "dedicated himself to make the world safe for numerical computations." 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 8 f; _) S( O1 U; H0 `: O IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 # E; {+ J( `, z8 R( `- ] 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 + m) ]: }! x) T, S0 c; u4 O* X - r2 @. k+ \* S% M4 `# T 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 2 p3 e% V+ h3 K: U# i2 f W2 K# x 位。人工智能大师，Lisp语言发明人。 7 b! ~$ T+ B& `1 i/ m& W 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 - u* p) [" t0 W( C 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。
$ C- R) i1 @9 D3 Q0 u4 k* D5 U$ e8 c: p 1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 8 a% O+ B7 a' }6 z 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 , U/ G3 P) y. ~' q0 E V7 t: X: m4 C: ` 附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ # A, m# C+ F8 U1 B7 J; i H " e3 R% u/ I$ }! G( U; T3 X1 W. u
| 欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) | Powered by Discuz! X2.5 |