|
图灵奖中的数学家 zz 6 t+ C) }' h: [2 _! N$ n
6 p% s6 q2 O! Z, w 数学是所有工科的基础,要想在工程科学上真正严谨的作学问, 6 p+ b0 q4 b8 a! T/ q3 r
必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的 8 E5 r6 x" P% r8 \, ]% p* P7 G
精髓。 % u7 L; N# r' V2 T6 ]- x- _) j$ e* Q2 V. I
+ V% [1 F4 h6 W* W3 }下面向大家介绍几位学数学出身或者本身就是数学家的计算机 # ?& H. o+ ?9 _ O, A% V
图灵奖得主以及他们的主要成就。 ) u6 @( B, g* ^4 E5 U) w2 X h) i
G4 l2 h7 Z2 W. q1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位,
9 l" ?; e/ Z9 ]% ]后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 1 f4 d! [- N! k$ g7 Z {5 L
系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图 . O8 f; K& P- L7 G8 o
是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计,
! O1 C" ^" U3 T0 [航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna ) ~( e: ^8 I$ ]7 I3 F! e
奖得主。 S" c9 |! L3 \5 V! h
, ~+ W; i& Y* \5 O" g( F2 ?
1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学
5 z3 E* t7 ], o; B& g4 b" k学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的
( [' l5 s1 y. j% E8 h9 F+ i3 {" o0 `计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 ' {- s' M! g. L! H
但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。
6 c6 U; A" m7 ? 3 x- m+ L7 z3 k2 L* ~' f5 U
1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。
( z# X& O9 {& x4 u3 h现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 8 X5 E! o6 F6 t }6 p
"Reducibility Among Combinatorial Problems"。他在并行算法,组合
' o, `. J. X5 A7 P优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和
7 w0 d0 l4 l( B- g% i$ `/ T基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。
0 e9 e( e# { h" ?, |6 i " h' X" c; w) |' |. K
1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前 5 m& e! X" R7 t& j `, O
是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 3 J0 M, @/ F/ o2 t# [! _9 X
巨著 The Art of Computer Programming,已出版3卷。 1 B9 {1 t. F% U2 f5 t
7 W) {1 g0 j& L+ y- Y0 s# G1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。 z8 R; u% C7 r* ?: a9 H$ o C8 {
毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。 ! J/ Y! v1 H5 r) B! S2 M g% K y" K
% }$ v1 s: e8 f" J& F. i
1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为
5 ]( o- U& l; V; _' @7 B; b在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是
3 P! O& }2 l/ s* b4 O: q"dedicated himself to make the world safe for numerical computations."
' [4 ]# _7 U5 F" ? y9 w : P- T3 I# O# q8 I5 s9 x. _
1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入 % o$ l3 C) N6 b! n) c E
IBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献
& j9 Y% z% X0 K! c/ |9 {是发明了RISC(reduced instruction set computers),大大改善了芯片 $ X$ d+ Z/ ^0 M( h" z9 D. r6 M3 E
的性能。 ( o( W* `; g: [$ a
) m/ o% z. l0 h( V
1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获
, I- c% g% B3 U; r数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。 - K& c' o% `) [2 F/ x; V
8 O4 X4 H0 N* H5 \+ D/ b1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学 # q& L) T0 Y- f) l/ _$ O' k: C
位。人工智能大师,Lisp语言发明人。
+ ]) W4 g' c( D9 Y ' t/ H, w3 F( ^7 d2 x) F# {
1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥
- T2 Y2 X) L" J4 g* g9 `大学获博士学位。 主要贡献是数值计算和"backward"误差分析。 + P# X; w! \( T" Y0 v# W) h- B# M* n
( n7 l: p q& c( \. {2 @# H3 Y! \6 c1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方 * x1 Q4 r0 f( l2 T- L$ K' u/ J
- e7 a7 ~8 ]7 A% J/ J
程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。
! D+ W' m) N& X* _. g : }1 C" |. {5 H3 H, }+ r) z
附录:
* Y* g% s1 Y/ R* h, O9 h @http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/
$ i/ [' j8 v) R, M8 V; j
& X$ @0 F) {7 H. a6 h& C, ~
# [. N# X; ?7 ?6 f7 u: x! q |