图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

- E4 I4 W% L# ]- |

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 . G8 G0 s' {% |下面向大家介绍几位学数学出身或者本身就是数学家的计算机 # G: f6 Z! {7 Z图灵奖得主以及他们的主要成就。 - s0 ?% X0 p/ A% M5 i: W7 d |8 ]1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， - I5 i, Y3 c2 |* T, x% W8 v% {6 g后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 0 X: ?- E+ o" ]$ _6 M是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 2 g/ t5 X2 i; m5 R计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 ) |- J( @0 r" f$ o但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 . J( N( @3 \6 ?, O- x- Z5 p% e" c 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 1 ?6 e% U/ y& Y! p6 y优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 - T6 R1 y" z0 }) S/ m/ ]% K巨著 The Art of Computer Programming，已出版3卷。 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 1 y/ \* G2 @/ j8 B& R毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 6 m( i$ Y5 ~% p v9 ^/ A+ U, C3 \ 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 8 W5 w) Z, E( M" r* e k在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 0 q& e7 n5 ^+ q* b是发明了RISC（reduced instruction set computers），大大改善了芯片 0 Z: K3 q. o/ ~$ n( s' ^0 O4 |的性能。 ( r# a: F2 t$ w& C; K 0 E, E" z, N8 p* \4 B$ x1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 G' ?" H8 W2 i: a6 `: ^数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 ( ~: Y% C$ S( v: M, s位。人工智能大师，Lisp语言发明人。 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 . A: G6 L; w/ _3 v7 B- V( U6 b4 A大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

! c' a& V i4 ]7 y8 j1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 7 E: H4 L% d$ `) q 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 7 x+ `- N, @7 S* d3 P - s& X: y1 @, E' V' T$ b附录： 7 }; M* W# ]! X* [2 ~1 | l' C+ xhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 0 ~- V# I v3 G & M0 f, m+ ~; x' m+ Y( o% \6 H8 R