|
图灵奖中的数学家 zz
6 Z L8 n: x' Z& D2 _% w
; B; N" L6 ^! v$ ?" [ 数学是所有工科的基础,要想在工程科学上真正严谨的作学问, ; m) R# j4 \5 \# ^! @0 v9 `
必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的
/ T5 Q9 o& U: w( [! N7 a精髓。
4 U- _! E8 t- e X- q 1 C! J. Z+ k4 T# r
下面向大家介绍几位学数学出身或者本身就是数学家的计算机
0 M! X7 [& T9 t: w$ g8 t3 ?; m图灵奖得主以及他们的主要成就。 : N/ z4 y/ F% X3 S& X* Z
3 O( j, j/ p) I1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位,
6 `: t+ J: V! o# ^/ \4 n6 u后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 ! ~. [/ n- x. r
系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图
* B1 [9 O! a& J( n是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计, ' U0 U- H6 D# j
航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna
( s" V# {0 z. u+ U- b& I' B奖得主。 1 g4 ^2 W3 ~# Q7 ?9 e, s7 w1 l+ A
" W" |) V J7 ^; r* J) m0 {2 R
1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学
# `/ a8 d/ x! s; h$ S8 L- s学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的
' O8 Q4 L$ t& s# P/ t4 Y8 u计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。
2 [7 E2 b+ X" y/ T* x# e但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ( ~8 _) ]/ h/ z1 O6 ~
# B- W# E6 @! W' U; U
1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。
4 {6 s/ K; j# g# y1 y: |: P1 ^现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 2 Z4 O9 \( W! r
"Reducibility Among Combinatorial Problems"。他在并行算法,组合
: `4 p" u+ T! w+ [4 }# K- r优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 ( U. D3 P2 U- a+ |% m
基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。 7 W5 g% C- s- ?6 H* J; Y
+ T& T& E* I: O m H/ |+ ]% ?
1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前 / e: f8 u' i% N4 \% o2 c6 J; C
是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 & M" d7 a i8 c9 w& f' ?
巨著 The Art of Computer Programming,已出版3卷。 - ^# M- N0 ~2 [9 S8 s
( q0 S8 c1 o3 a6 k1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。 " B6 B: M W a7 L9 T
毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。
, ]1 \ f t4 E! P7 F
$ W$ h9 W7 a3 F3 w; M; A1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为
# a% Q' W: o: W/ o* k( ?! k5 j在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是 - ]* g5 N4 P3 Q; Y
"dedicated himself to make the world safe for numerical computations." ( ^6 x2 S( w6 F7 ~2 K
3 y7 Y% L+ F. E! o4 j
1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入
3 t# k* l$ B( j: ^) H6 {IBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献
# P( j8 b' k j9 e3 f" Q9 {是发明了RISC(reduced instruction set computers),大大改善了芯片
" m% `6 F3 e( k6 V1 x的性能。 6 A% q) N8 f( P
9 b9 |" Z) ^, v3 A `4 N6 A- a1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获
) G0 q; \' O5 v$ n( s. e5 Y数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。
8 Y( Z7 D$ d6 O ' H- W# k% O3 }, h; F6 ?4 ~% o2 B
1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学 4 Q7 ^ Y2 P9 E
位。人工智能大师,Lisp语言发明人。
2 c9 {3 z5 N7 a, C% l- S " B( [9 i3 U# G$ ]
1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥 ! n' e2 D a6 Q" g
大学获博士学位。 主要贡献是数值计算和"backward"误差分析。 / X7 }; L* z: m& Q4 R* K
- c$ f( |7 }' o( s2 _' u! L A$ `
1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方 4 n9 [: _. ?- l( U
. N: W- M4 _) s0 A6 T4 _
程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。 2 B% m7 M% n5 A! O
' p( A: g$ O4 [
附录: : r7 v0 J5 \4 @' H6 e
http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 4 Z& k' h# d, a! P3 e
7 d' h0 J8 T% `3 x
% I7 n2 f. x) }9 J& e, y. }' g |