图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

) S1 w) M, l( H3 w. I

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 8 w2 X: ?. a3 y$ Z3 E精髓。 6 {0 i5 V2 U3 Y2 L& E5 s" h下面向大家介绍几位学数学出身或者本身就是数学家的计算机 0 x3 d" e( a* F) E! N7 Q$ {/ |( W图灵奖得主以及他们的主要成就。 & F( B: g% v9 y0 \6 ]1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， # T4 U) r9 f& v1 t& \: _航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna : j3 b2 T/ i( w6 ]7 V* R0 M$ J奖得主。 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 . E2 Z- T* @7 o7 t, j计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 ( g1 V) g2 X/ ?: ?# ?但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 , B4 s3 E5 O0 w: U; \ $ V' i7 o& D2 A3 _( d/ n1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 m+ t1 ]. @$ Q4 C6 K优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 - {$ g& u( w) E: e, t 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 ! y0 t* y! f7 }/ W& r. W是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 ~2 L9 U) v6 H! \9 F; O; t8 o* x) k ; }) H+ T* S, C1 r- M2 H1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 + {( _3 j/ k, }( u 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 . Z* s/ Z" q% `! M2 N在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 . r0 ~6 ^" Z% r, \"dedicated himself to make the world safe for numerical computations." & }) O$ K% G" x2 _8 p3 p1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 " S- d4 K% j* X是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 8 X; ?5 D0 n5 g1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 , z. M0 z% l- c, ~4 \数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 ( f( A8 I! z0 z 2 G& l) d% H) X4 L, L4 q: u$ s1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 + o# ~3 V& G: q5 F 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 7 o6 [# {* `/ w' B* N9 |' R, @大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

8 g& a2 a b1 Y; P" h M

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 9 Q+ X! [# r N* F) N! P ; Q0 O; l4 x, u3 T( m程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 u& ~: n; D) z% Q! d/ C 2 ?3 n$ K; }/ I [附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ . I& X7 e- |+ [( n8 {2 e* [ : X k) A- r( d( r0 s# T; t; r