查看: 3531|回复: 0

图灵奖中的数学家 zz

字体大小: 正常放大

Allos

13 主题	2 听众	103 积分

升级 1.5%

该用户从未签到

电梯直达

1^#

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

|招呼Ta 关注Ta

图灵奖中的数学家 zz

( J' [$ h- m" L2 L% a( i- k+ u 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， + h: [( ^ t; H' r# i/ n# T- X 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 $ \+ F+ M, D+ ~9 _精髓。 ' s+ D( A9 y( q B% K( L# T2 f% D ' @ V4 ~; i: x) ?# h1 r下面向大家介绍几位学数学出身或者本身就是数学家的计算机 % N6 U0 e5 R) V: P, E% i$ B6 m 图灵奖得主以及他们的主要成就。 $ [1 e" ~: j( _" U: e 9 ]$ ?& r, x3 o 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， / Z) u+ u3 X% D3 q+ h0 |: [; U 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 % e8 [0 O. v% F' l% u/ A: }系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 & D, v7 S8 z& k% y 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， % z2 t, U5 T' v航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna ' q! x; |% J9 E, r; l- R! t: }2 J/ d 奖得主。 * |7 m$ M6 N: l# [& `" F9 l( q8 l . i0 x6 M, f1 h% n6 a* N1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 - j; J% n+ w8 Z/ K& i# k# ]学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 0 V6 B# q- y/ m: A0 n0 n u" t! r 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 T3 _8 H( E2 Q& [, W- C. k但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ; m4 ~' |( ?! L 5 c F) K- r6 m* f3 y. r9 E 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 4 d; f/ ?8 t; {- A 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 4 q* @& k0 w* b$ g+ p2 n9 k: C "Reducibility Among Combinatorial Problems"。他在并行算法，组合 & L/ \7 [% h/ t+ `' H8 A3 a 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 1 c' y2 u. z5 i2 o' u5 ]) y" K基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 6 A2 P; S2 W) s) e* x - L) v/ [: |7 j; L1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 # j) D ]% P' N) m! V* n% p: t 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 ( L3 n3 I0 Y4 ^# s' q4 n 巨著 The Art of Computer Programming，已出版3卷。 7 ~/ Q5 p8 H8 s. l5 i$ l2 U ' T. i8 S- p: Y# b: \+ O" V e 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 : E/ A! D5 x' G( \ 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 ; L) X1 A, {5 `9 }! l; W2 m& h " l1 j/ [0 J3 w8 a 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 * v4 J5 @. j# A& J0 A6 d在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 ) m w0 r' T8 I. q! s( E$ f8 O- w0 a"dedicated himself to make the world safe for numerical computations." 2 c" P' J6 }2 r# Z3 G7 M/ J3 O ! ]( P5 m. j# ^ 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 ; W8 ]3 `& a3 J% ~$ _. W ` IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 1 q& H) f) v" G+ K7 Z是发明了RISC（reduced instruction set computers），大大改善了芯片 6 x5 X2 D8 C. `: k7 u8 v' l 的性能。 ; Z0 _: d. _$ ?: w2 A ; h. g1 Q" E6 X3 Y9 s' g 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 # A9 l3 T7 J5 l+ {! m数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 2 y5 u. h. I" p& X2 m# X% E 7 [% m3 m; O- } 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 % e) [* e, H3 ~2 c1 X 位。人工智能大师，Lisp语言发明人。 ( e+ S" G- Z. ?$ g7 | 7 A( {' a. y. D" h. v3 T, v/ k7 \ 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 6 r' L/ v5 i! |7 d 大学获博士学位。主要贡献是数值计算和"backward"误差分析。

8 J9 Z0 ~" \$ v2 o1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 ( G1 ^" o: Z" \+ Z4 A6 m _# ] * _/ {4 J- X( a程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 6 T' k6 p6 I4 x! ?% ^ 2 E: ?0 ^% G1 J# o6 M 附录： ) Q8 c8 R8 B1 I/ B2 F http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ " O9 t0 H( }; Y8 F% ] . v' r& W O0 {! y. E5 ^ * ^( V8 i1 ?5 S" P