查看: 3484|回复: 0

图灵奖中的数学家 zz

字体大小: 正常放大

Allos

13 主题	2 听众	103 积分

升级 1.5%

该用户从未签到

电梯直达

1^#

发表于 2004-12-7 17:03 |只看该作者 |倒序浏览

|招呼Ta 关注Ta

图灵奖中的数学家 zz

: R: p9 L$ {) x0 [, e# T 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， $ m8 B- d3 J+ E2 b" m B$ n# y 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 % E; e; Q: E* j. z 精髓。 $ K* g$ t1 M! M" \9 g4 b 8 h5 P" d* |! P) n下面向大家介绍几位学数学出身或者本身就是数学家的计算机 + R: g( B, o6 i2 M3 z M }7 D 图灵奖得主以及他们的主要成就。 U9 ^: \* G$ W" j- h. q ' b. ~: y- Q7 P9 v+ o7 q$ Q 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 6 w1 A5 u7 f& A I4 M后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 ' B( v6 R! k# M( B( N系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 - _0 I. k: ?+ g4 m4 A- r) ~1 [是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， , d+ J. D$ {2 l; C/ w& P航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna & n* d- @7 t$ {. I" W2 N" T. O 奖得主。 8 I" u0 }* Y* m. v. M a0 @ # V1 M8 b6 ~6 D& X: | S1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 0 n/ i4 ^7 y( v学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 0 `5 a; e9 `* e) X' p计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 . J' D) A/ T* R0 u# a. D. A但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ( I; B- h& u, A8 P# q# X : w- J0 O" n E1 ^- K- G1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 5 `0 m9 d6 c+ P6 }! v3 C; J 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 5 r2 U! J* G% n B# }" T i. O "Reducibility Among Combinatorial Problems"。他在并行算法，组合 / N! Z2 H; L* c; U优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 . c: C- b) ^" D% ]& \: U7 m基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 8 z* |) P( \' m4 u ' o1 K p3 L1 k/ _- z6 L! p( ~% ~1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 6 d p" m) A- x v1 v是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 - Z! G; h% ^) u" A. E 巨著 The Art of Computer Programming，已出版3卷。 0 }9 p0 n# s/ ]2 r2 ~" G 6 m# i# f% R" L- L 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 - ]6 V2 T- T; W& B+ _& D' `毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 / E" z; Q/ P- w, l b2 z. h. y 4 |4 e9 J8 l: n% m4 [ 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 R- G! `; b8 H' `' |' ], [ 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 $ c- \3 K/ z+ [5 l"dedicated himself to make the world safe for numerical computations." 9 n4 |- x7 K; U2 z: k % }, ]0 n3 Y8 P! j* A1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 * C! S! W/ l. w$ y7 d IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 $ W: \/ u- a) `" f) l0 U是发明了RISC（reduced instruction set computers），大大改善了芯片 & ?7 c: V! q1 D0 A9 e: B4 m的性能。 ; o. h. b, ~9 d# o" C2 ` 0 o; _* J5 L& c8 N. C1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 5 ?& P( b0 _$ C' w' E数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 ( I; A. I8 Z- z9 |% v$ x( T % a2 l' n/ L+ C* q: Y+ T8 S 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 # H6 P! b! ?# u' L. D位。人工智能大师，Lisp语言发明人。 % Y! l: e4 o- N( M5 g+ E 7 j, y u$ O9 N1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 : X2 @* g2 j' p大学获博士学位。主要贡献是数值计算和"backward"误差分析。

7 }8 j. X8 d& W9 K4 y6 _9 [$ a7 H 1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 % |% t: U2 A& v8 b0 r4 W & C8 N1 t3 C3 D4 |8 W 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 L$ }# J: n* q! T! G' a& S 5 N: j1 G6 G0 K7 \, k+ ~附录： # D5 S8 Z6 S, r% m- Nhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ $ u$ K) r2 A. x+ t* ~9 z3 } 2 c6 y; V& c( N$ L8 l& ?' k2 Y + B* |- Z3 ^5 j3 ?, q! g