图灵奖中的数学家 zz
数学是所有工科的基础,要想在工程科学上真正严谨的作学问, 必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的 精髓。 N$ {: `0 i& X1 S" Z Q8 D 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 - ^4 P J. C7 U8 R. s$ d 图灵奖得主以及他们的主要成就。 1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位, 9 }" ^' [8 c" T 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 3 |/ C# T: o; a; \. { 系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图 # w1 s) u; D7 A$ _5 a0 q 是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计, 2 S) G( q. S4 Y; d9 K! U 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna " L6 n" i9 t7 ?: _/ t 奖得主。 ( L2 e+ z! O. ?- O( C( r, q 1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学 学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 8 B1 }4 D4 q p& i) z! s4 ` 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 + _( M$ y# D: s! Y1 {2 E3 ? 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 , ^& W+ U: }3 X7 U 1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 0 @- G4 Q1 R; K% h "Reducibility Among Combinatorial Problems"。他在并行算法,组合 ) s+ X$ z9 W, o* X1 h3 n3 ~ 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。 7 ~+ o$ e# R& j: ` ) E: i$ A8 h0 y" L( m 1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前 是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 6 t2 i: f @9 p6 }& x% ] 巨著 The Art of Computer Programming,已出版3卷。 7 |8 \) I4 n6 ^ \; s 1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。 ; r* C1 V7 `1 A3 D Y7 e+ w* C9 ^ 毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。 % N! a3 K" I8 D3 |' q# ?& b 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是 5 s% q3 h. r3 A! `9 l* z "dedicated himself to make the world safe for numerical computations." , ]- }' ?% a2 B 1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入 7 K1 s1 M/ E4 a- C2 @5 D; R" E2 b IBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC(reduced instruction set computers),大大改善了芯片 的性能。 6 |* N; g( f+ I1 k / w+ p; b% r6 R& C- b 1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获 数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学 2 o; ?; y5 z0 I# R3 E( n, d 位。人工智能大师,Lisp语言发明人。 * _$ r8 A' i7 Q2 H4 h; t, b0 a- o 1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。
1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方 程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。 - g8 @* i) q: p8 E; m$ q1 \ 附录: http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 6 m8 V! r# J0 M9 P + H+ `) ?6 D3 \# e- h; a k
| 欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) | Powered by Discuz! X2.5 |