数学建模社区-数学中国

标题: 图灵奖中的数学家 zz [打印本页]

作者: Allos    时间: 2004-12-7 17:03
标题: 图灵奖中的数学家 zz

图灵奖中的数学家 zz

% ]5 P! A$ E0 S- J+ v0 g5 ^: e5 C) I

( K: g2 s% U/ ~# k. Q3 H/ [; ]) m 数学是所有工科的基础,要想在工程科学上真正严谨的作学问, 3 B* p" B- B4 N4 x$ B: S必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的 K& }) C' X# F' ~/ g 精髓。 7 T" S# e1 }4 h. K) A- w- o . K% J: c6 w1 X- u9 j下面向大家介绍几位学数学出身或者本身就是数学家的计算机 - F: V9 H$ x1 l( G) {图灵奖得主以及他们的主要成就。 * F: Z ]1 d9 v: g5 a! c" Y7 ` , l0 S# }" K, e8 n3 Y! e1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位, / c2 e) @& R Z. D! t; a后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 5 `5 b8 w* M. ~ Q 系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图 , a; }( g7 i" G" G: ?: Z o$ s是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计, q2 M& ^) ]0 ^+ u# u7 G+ i航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna ) l `! w& U+ B奖得主。 . l4 {0 t' D+ K7 r2 e" G3 J " v0 Y& c+ j; h$ v+ L- H 1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学 9 D+ ^/ l" M4 u* i; N学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 4 d: l L7 `; C 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 " N, s1 M: V! z4 i3 [- }$ M+ I/ E但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 + ~" ^/ s" f5 a( @) f& [7 ? ! H7 ]. {/ a; {" Y& j6 r2 d 1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。 + U2 q3 Q w) Z1 x- N 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 5 s- s- b1 m: b J; A8 E: E"Reducibility Among Combinatorial Problems"。他在并行算法,组合 8 X" W, }+ m3 T+ O, G: Z* S; D+ Z 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 5 K$ | o; Z7 ^- W基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。 9 n/ m4 q$ ? o; D* ] % C. P$ {9 l7 P; ` 1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前 5 T1 @# u2 E+ j: J J3 z 是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 ' E, f9 r X/ p6 m 巨著 The Art of Computer Programming,已出版3卷。 % x# g' ~' Q* F& }6 c 3 m% f5 Y, w8 L 1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。 1 B, _) i! j1 l8 K3 Y 毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。 # d$ E/ V) ^0 W- ? $ ?, `% [" `7 `( l. Y9 L( N% } 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 : ^8 k" D/ T/ I: R: j7 R" L在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是 " g( Y& C$ J1 X) }, W) _"dedicated himself to make the world safe for numerical computations." $ c( ?- F2 M. v& s( g+ f , a% R. i( m& i& S 1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入 . H, C7 w- G3 ^# o: `/ m9 e" e IBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 2 Z, g' D$ u2 H7 \2 `% [, L 是发明了RISC(reduced instruction set computers),大大改善了芯片 / ?3 A( q" |) w6 Q, K& _6 G, t 的性能。 # @, q! g1 M9 Y6 M9 W: ^. t . G# `6 Y; s( S) c- E1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获 |! a+ W" Q& u$ N/ H. b 数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。 # O2 z2 O) o& r 0 y. O- T8 q( ~, U1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学 6 ^% i( C$ G( w" V" }0 a7 p) L 位。人工智能大师,Lisp语言发明人。 6 f ^- Y6 U) T0 f, _ 1 B) S* X1 v, j1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥 ! C1 D& S' w" `1 y3 I大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

h2 c0 I: R6 o" j" C5 b

I0 A' y2 \- a, r6 @ 1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方 3 Z/ G+ V1 |5 Y5 A 0 E; k4 n" f# g \3 I9 m 程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。 ' i) }+ v B7 h( W n! ?1 E! E2 Z' J 附录: ( H" e D7 [" n8 W5 A8 vhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ ; N9 O3 q8 w/ c8 f9 e: G! b ; Q+ ~ n) D2 U+ `' O9 n3 z% s! D2 l : Z0 L# ]! B* b# w1 k5 e1 t






欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5