图灵奖中的数学家 zz
5 C) Z$ }( U: z. ^& V: c; S& N/ Y4 S0 @" o7 U- J4 S7 b1 ` 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 5 U6 H& V- ^9 y0 w+ b2 D 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 $ H3 K+ J5 d* s5 d F, B 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， # L9 d) X2 X7 E0 Y( D 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 7 ? W( p/ o0 j, J 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， @# }) \; a) u1 N! I 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 * d( r& n' N0 V3 B. f5 R7 k 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 % Z5 b0 o+ T1 \' `8 v) b; l 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 * G C4 E( c; Y1 W( n: Y 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 4 O- p7 p! y; C2 z "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 ! a n' g9 G; `7 u+ N% X 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 ( _6 Q8 W5 S# h 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 + `) K* m7 }% {- m 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 . B! y) G* W9 l) M- p; |5 V$ P { 1 G- v' N$ f) x% d3 y 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 ; y# _1 ~3 b0 g5 i4 G( A 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." $ x& o8 O) W, t& N3 s: N1 ] 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 ! z+ c. D9 Z$ M( `+ T, K6 N0 z# B% Z IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 $ g9 M1 H5 ?5 r( {* e 的性能。 6 C$ i1 D0 [/ R; } 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 ( o( T+ N* E& e 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 $ ~2 n8 Y5 Y$ N 位。人工智能大师，Lisp语言发明人。 - j3 s/ b+ F# @' t 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。
( I7 P* q8 x8 }1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 & \3 _5 k8 j7 u n6 v7 _; K$ _5 i 5 D& S. D. f9 w4 k# X; }& P 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 " L7 h: p" t. F 附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ . e. o1 o+ H1 W* I 6 O& ]- [; |; o- K% \
| 欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) | Powered by Discuz! X2.5 |