|
图灵奖中的数学家 zz
/ G/ ?& ~0 j) I; a % P! k: d( H( S' d- m# y+ O% `) _
数学是所有工科的基础,要想在工程科学上真正严谨的作学问,
( z, b- K* b- C4 b y. P8 M2 e1 X必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的
! A R8 F8 V, ?, I& R& @# d* {精髓。
" T9 q5 C: Q7 h. R. s+ b& R' d# y
! T0 l8 ^, ~6 O" g7 v: d下面向大家介绍几位学数学出身或者本身就是数学家的计算机
2 _7 U; ?. S$ n& a( ~- f图灵奖得主以及他们的主要成就。
9 l: x3 s& B" D J- e* B 7 v8 P4 h1 M1 B; C. q; [4 {1 S0 @
1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位,
/ E% G0 B% S+ X后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机
' o4 O+ }, j# Q4 E8 e4 j* L$ e系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图 5 `5 c1 Q' g& e. ?6 h0 Y8 c
是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计, ! S& i$ N: }, O* q, j% u/ W1 w ^
航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 7 i( g4 M% C; w' [+ z
奖得主。
5 x- Z; i% W5 ?+ Q$ j 7 j+ e0 X' e! F
1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学 $ g% |# A$ Y8 c3 H2 d
学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的
" d) N4 `- J9 A$ m计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。
l* C0 O C9 l+ k2 M+ s但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。
1 v1 r3 y: O( @, a5 X ` $ \+ X3 u5 p8 N+ M( ]% x
1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。 # a# Y) j4 z3 f
现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的
( R0 K) E! h/ e, R; I"Reducibility Among Combinatorial Problems"。他在并行算法,组合 . q& K7 y6 {3 ^2 b' P
优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和
1 q, ^1 ~# U; k! y4 ]9 x基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。 ; b: k# o, X3 K/ q' o* l
1 h6 @4 w9 \9 x$ {8 F1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前
0 |: m4 M+ q2 T5 T! P是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 3 r6 M& `3 p2 C7 y0 Z
巨著 The Art of Computer Programming,已出版3卷。 , N6 [) i% w) ]. z ?
. L. ^& O8 ~- h8 ^6 V
1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。
/ o+ q! n- k2 R5 [8 }4 K毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。
3 t4 J, C9 p7 o& k0 ^! } ! @5 N- T. o2 _& n$ y4 C
1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为
3 r8 Z7 a; s5 T# m: n在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是 & S' d5 n% J; ^/ b/ B, P
"dedicated himself to make the world safe for numerical computations." * H, @5 p% [3 N* S
7 Z$ B* y' n4 F8 R5 K1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入
5 q5 M( M7 j4 x0 R" n* i' ~! vIBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献
( n0 K/ K( @5 j# S( z是发明了RISC(reduced instruction set computers),大大改善了芯片 9 w* c" d0 A6 P5 X: l% @9 d4 d
的性能。
# N! C6 \! N- k; | & l8 W/ y. a& z2 S( Z
1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获 ) g) e) I% B$ K
数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。
# j* W% A, w6 x3 b
! q1 L- Z/ g1 @$ s1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学
" Y" O( |: _% }5 T( B2 ]6 p位。人工智能大师,Lisp语言发明人。
0 S- B6 l+ t" g! { / A8 J3 ^# c2 h. t
1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥
& e& l3 H& Q: A K* u2 Z大学获博士学位。 主要贡献是数值计算和"backward"误差分析。 ! a6 n! i8 ~, Y+ m( ]. E7 u( M
/ E; e, z/ {( g
1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方 5 B4 F$ d- b9 J% z" |2 I
* `* d- D7 M' B+ p6 @' v程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。 1 U$ f& \( o. m; R+ `
4 T6 B. T( B4 Z/ c附录:
: S* p) w: q8 _http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/
- ?0 f, }6 \& V T* q) c( |; S & J, B- g9 h" U$ p' d7 B
2 K: z8 {; `, C |
|