|
图灵奖中的数学家 zz , c& s9 ^3 G8 d/ C# c
: R: p9 L$ {) x0 [, e# T
数学是所有工科的基础,要想在工程科学上真正严谨的作学问, $ m8 B- d3 J+ E2 b" m B$ n# y
必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的 % E; e; Q: E* j. z
精髓。
$ K* g$ t1 M! M" \9 g4 b
8 h5 P" d* |! P) n下面向大家介绍几位学数学出身或者本身就是数学家的计算机 + R: g( B, o6 i2 M3 z M }7 D
图灵奖得主以及他们的主要成就。
U9 ^: \* G$ W" j- h. q ' b. ~: y- Q7 P9 v+ o7 q$ Q
1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位,
6 w1 A5 u7 f& A I4 M后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机
' B( v6 R! k# M( B( N系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图
- _0 I. k: ?+ g4 m4 A- r) ~1 [是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计,
, d+ J. D$ {2 l; C/ w& P航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna & n* d- @7 t$ {. I" W2 N" T. O
奖得主。
8 I" u0 }* Y* m. v. M a0 @
# V1 M8 b6 ~6 D& X: | S1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学
0 n/ i4 ^7 y( v学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的
0 `5 a; e9 `* e) X' p计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。
. J' D) A/ T* R0 u# a. D. A但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ( I; B- h& u, A8 P# q# X
: w- J0 O" n E1 ^- K- G1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。 5 `0 m9 d6 c+ P6 }! v3 C; J
现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 5 r2 U! J* G% n B# }" T i. O
"Reducibility Among Combinatorial Problems"。他在并行算法,组合
/ N! Z2 H; L* c; U优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和
. c: C- b) ^" D% ]& \: U7 m基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。 8 z* |) P( \' m4 u
' o1 K p3 L1 k/ _- z6 L! p( ~% ~1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前
6 d p" m) A- x v1 v是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 - Z! G; h% ^) u" A. E
巨著 The Art of Computer Programming,已出版3卷。 0 }9 p0 n# s/ ]2 r2 ~" G
6 m# i# f% R" L- L
1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。
- ]6 V2 T- T; W& B+ _& D' `毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。 / E" z; Q/ P- w, l b2 z. h. y
4 |4 e9 J8 l: n% m4 [
1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 R- G! `; b8 H' `' |' ], [
在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是
$ c- \3 K/ z+ [5 l"dedicated himself to make the world safe for numerical computations." 9 n4 |- x7 K; U2 z: k
% }, ]0 n3 Y8 P! j* A1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入 * C! S! W/ l. w$ y7 d
IBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献
$ W: \/ u- a) `" f) l0 U是发明了RISC(reduced instruction set computers),大大改善了芯片
& ?7 c: V! q1 D0 A9 e: B4 m的性能。
; o. h. b, ~9 d# o" C2 `
0 o; _* J5 L& c8 N. C1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获
5 ?& P( b0 _$ C' w' E数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。
( I; A. I8 Z- z9 |% v$ x( T % a2 l' n/ L+ C* q: Y+ T8 S
1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学
# H6 P! b! ?# u' L. D位。人工智能大师,Lisp语言发明人。
% Y! l: e4 o- N( M5 g+ E
7 j, y u$ O9 N1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥
: X2 @* g2 j' p大学获博士学位。 主要贡献是数值计算和"backward"误差分析。
* _$ Q* i- P) `+ X. K 7 }8 j. X8 d& W9 K4 y6 _9 [$ a7 H
1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方 % |% t: U2 A& v8 b0 r4 W
& C8 N1 t3 C3 D4 |8 W
程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。
L$ }# J: n* q! T! G' a& S
5 N: j1 G6 G0 K7 \, k+ ~附录:
# D5 S8 Z6 S, r% m- Nhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ $ u$ K) r2 A. x+ t* ~9 z3 }
2 c6 y; V& c( N$ L8 l& ?' k2 Y
+ B* |- Z3 ^5 j3 ?, q! g |