查看: 3488|回复: 0

图灵奖中的数学家 zz

字体大小: 正常放大

Allos

13 主题	2 听众	103 积分

升级 1.5%

该用户从未签到

电梯直达

1^#

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

|招呼Ta 关注Ta

图灵奖中的数学家 zz

! _7 k" e' [) f( k; P 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， / y# f) z, o" J8 B$ ^; z8 u& F必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 : c' j1 n b8 s2 R' @) W 精髓。 & _: K( O% i" Q3 m* e3 g3 F 6 p$ K$ ?* i9 {/ y& D( h0 ?下面向大家介绍几位学数学出身或者本身就是数学家的计算机 + [* W' a3 z. F$ H( K图灵奖得主以及他们的主要成就。 6 [+ W+ [, @' ^. @- V) e, y; E# d * H7 \+ M4 F% ]% M& B% s% ` E: _0 v1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， - ^! M5 F( G" q% C9 ]后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 2 Y0 a: W4 o% j' u' [: h, u; { 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 4 U; T% ]4 j, W& \ D3 U) B是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 2 X+ C |3 g' J 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna ' W* n/ Z- w7 M/ J! L# |% D, R 奖得主。 ! J) e6 W$ y1 U* L$ h + m/ h" L. ?, b' x' {0 S1 X 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 * l2 [. E9 n* A8 H( N+ ^学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 ) K; ]2 O4 {5 ]9 {- {6 ` 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 ( n0 H/ N" g; \+ M7 I2 O但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ' B! J7 G. X0 D" P - a" \- c8 E, G) c. y* _1 A, j4 k 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 " |9 U. x+ V7 ~现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 8 s' Z; f9 R6 a$ @2 s4 J/ j "Reducibility Among Combinatorial Problems"。他在并行算法，组合 : k: U$ u; ~. a 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 # Q4 I: @; `& @基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 7 ^5 }! l! E0 Q1 M* c& a' ] 5 O7 H( B$ [$ H7 K! i1 O 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 : R! @+ x) C0 f8 L# E+ {1 V D. r是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 * P" b" B& R9 L 巨著 The Art of Computer Programming，已出版3卷。 . X2 ^$ w' J$ w) _: e7 D 2 g4 I2 V" J$ F. i" M" \* Q1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 ! s3 i+ z0 W% }+ o2 c2 V" \ 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 1 g' A1 o: M8 k' O- K 1 r- t; c0 ^4 A! J5 H* p b1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 8 u8 |- K! g; ~" R+ v) l' T' D 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 . q/ N0 r5 u3 T& L "dedicated himself to make the world safe for numerical computations." ' p" c4 I( @) | ; E+ o3 [' q0 i2 Y1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 ! \( [+ m2 ]: Y/ Y# r" x3 J- _ IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 ! Q- A7 g4 [4 m. ^$ @' @4 P, ^是发明了RISC（reduced instruction set computers），大大改善了芯片 $ S' T% c4 O. p( F% ^7 e的性能。 ; m2 _! j2 H0 {0 l- G( G : s0 e8 p, s1 C( y4 F1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 ( J O; U* Q, n# i5 i数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 3 P# M& B% _! f, s! k2 U9 K % b3 U9 k! x5 A5 e: R" l1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 1 P6 |! p: J. X' _( S0 f8 h: U' o 位。人工智能大师，Lisp语言发明人。 : {% g& ]& m& u) Z/ @7 }3 @/ \ 5 }: M- s- G! f7 ^4 ?6 J 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 : n" i _ @4 y P5 P 大学获博士学位。主要贡献是数值计算和"backward"误差分析。

% ]0 a8 _6 l! I6 ^$ m 1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 + }% H' }- T! O. ~6 { 0 E; Q, q _% q# v9 c 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 6 ?4 C! K& N7 c + \9 W5 x+ k; D- y N6 ? 附录： * ~. ]6 d1 a" ]. D0 n1 T http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ / [/ I% E' W/ s( O 9 R- }* Z7 H& y8 W% J( i$ p+ o5 M# j ; M ]! A0 G: F8 x# @