查看: 3301|回复: 0

图灵奖中的数学家 zz

字体大小: 正常放大

Allos

13 主题	2 听众	103 积分

升级 1.5%

该用户从未签到

电梯直达

1^#

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

|招呼Ta 关注Ta

图灵奖中的数学家 zz

) V2 Y* D5 |2 v3 ~- T* l 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， & D F# i9 \6 Q3 u$ G 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 5 E6 j: Y9 L6 @0 {/ \5 c# I 精髓。 5 ^4 i8 G8 O! N; ?9 Q + ?6 l0 O" B- [0 K2 r% \下面向大家介绍几位学数学出身或者本身就是数学家的计算机 6 }! b! n+ m- S- U$ O; u 图灵奖得主以及他们的主要成就。 8 f) { @+ l% t. c 1 a9 l% @: \6 i7 y1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， % ?* j: y2 }1 v* @( R! g9 \7 z2 V后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 ; C9 o1 K: g4 E2 ?2 r系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 ; G/ T H+ _: H9 V+ l$ B! E3 S是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 5 d7 [7 n! W+ q( Q 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna Y4 A; b% U& q% ] 奖得主。 ! C1 u9 S+ d7 c& Q% ^ . t4 F. p% r* P H/ k# O 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 & {1 e2 [, S( l1 R! H I3 F0 K 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 3 P. c5 U) S( u8 e U: g/ s/ ~/ B0 x$ A6 v 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 b9 d- W9 [: G# f7 R* C8 B5 v& |但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 8 w2 E& k c0 H# A. n) _( ~ 0 B9 ?) s1 q: f& \; D6 y 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 . W, _% F+ S; c5 J% Q现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 ! Z4 d/ `- [& M; K7 d# y1 U( C "Reducibility Among Combinatorial Problems"。他在并行算法，组合 . R1 K" }6 Y" ~( T3 r. l7 ?0 Q 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 7 x$ M0 {$ a4 J- a8 f基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 9 v' T$ ~4 \$ w; a0 M4 } 5 v$ D9 W: l$ L. k1 p- H G) s: M 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 / Q4 E3 i8 o2 l$ u是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 + V( q+ J8 Y8 `& ^巨著 The Art of Computer Programming，已出版3卷。 * O* C& a/ W- v F! [5 R7 L; o: o( l, ~/ I3 N# C 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 ! {/ r6 C5 P* X9 H+ W# F 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 1 w8 l" N+ U: I' a( A" n % O% z" a; d, I$ f# L1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 ) i+ U; S, S8 X 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 ) V, s: r; G+ j6 ^; R "dedicated himself to make the world safe for numerical computations." + x4 Q% \! X* e1 E: P8 p 7 }7 E M' j6 U; _2 G1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 1 \$ z7 m* Y/ S. ]IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 $ d* ], m: O8 X0 S; E 是发明了RISC（reduced instruction set computers），大大改善了芯片 ! s; |0 z. P# P3 a9 v0 ]1 n$ x( I2 d的性能。 1 _1 \- G! u& E8 K ) W5 B, z8 c! t/ K: ]' M1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 # F+ Q/ `6 E4 q+ K, `5 D数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 % @7 |, W" {' p. b' ~) m* n% a # p! K" n0 b* |$ y i. D" ^1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 7 b1 h0 A' g. x; K7 T: F# R 位。人工智能大师，Lisp语言发明人。 5 I' v M* O- l, ~/ M9 h 0 W/ j0 w2 r- M) S 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 * Y! r7 g% w! w% [& m 大学获博士学位。主要贡献是数值计算和"backward"误差分析。

( a( l" |. ~& G* ~( W; a' [1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 6 ]" z s! e+ Z ( ~) {& I. `9 \7 V I) a! y- o 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 2 g/ h1 x2 f8 D: w0 h/ l! Z9 j / N3 w& }% ]/ K 附录： # J) @' T1 p1 O* x ]0 H http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ . ^, H8 G* B- @ 4 E. A3 L8 _& F) n 6 g) @) F5 d% O. L" @8 @