第一讲 | 序言:阿兰·图灵与计算机科学的“诺贝尔”梦
如果说诺贝尔奖是奖励那些“改变了世界”的人,那么图灵奖(ACM A.M. Turing Award)则是奖励那些“定义了新世界”的人。
一、名字背后的悲剧与荣耀
在深入那些璀璨的获奖者名单之前,我们必须先回答一个问题:为什么这个最高奖项要以阿兰·图灵(Alan Turing)命名?
1966年,当美国计算机协会(ACM)决定设立一个足以代表计算领域最高荣誉的奖项时,候选的名字并不少。但最终,大家一致选择了“图灵”。
那时的图灵,在公众眼中远没有今天这般声名显赫。他在1954年因食用含氰化物的苹果而猝然离世,生前因同性恋身份遭受了非人的化学阉割迫害。他曾是二战中破译纳粹“谜”(Enigma)密码的英雄,但这些功绩在当时仍被列为最高国家机密。
科学家们选择图灵,是因为他早在1936年那个连电子计算机都没有的时代,就用一张纸和一支笔,在数学上证明了“图灵机”的存在。他告诉世人:只要逻辑可行,一台机器可以计算世界上任何可计算的事物。
这个名字,象征着计算机科学的灵魂:逻辑、通用性与对人类智力极限的挑战。
二、计算界的“诺贝尔”:不仅仅是名誉
图灵奖的独特性在于它的“纯粹”。
极高的门槛:诺贝尔奖有时会颁发给一个伟大的发现,但图灵奖更倾向于颁发给一个**“完整的领域”**。比如,某人不仅发明了一个算法,而是通过这个算法开创了诸如“数据库”、“计算复杂性”或“人工智能”这样的学科。
迟到的承认:很多得主是在他们的理论提出20甚至30年后才获奖,因为计算机科学需要时间去验证一个理论是否真的经得起工业界的洗礼。
思想的传承:如果你把历届得主的生平连起来,你会惊讶地发现这是一棵密不可分的“知识树”。学生获奖、导师获奖、合作伙伴共同获奖,他们之间存在着跨越数十年的智力接力。
三、专栏的初心:寻找代码背后的“人”
在这个大模型(LLM)狂飙突进、AI似乎无所不能的时代,我们往往只看到冰冷的屏幕和飞速运行的代码。
本专栏的目的,是带你回到那个**“计算仍是荒原”**的年代。我们将看到:
1966年的珀利斯如何在没有现代操作系统的情况下,思考程序的逻辑。
高德纳如何为了追求排版之美,写下了计算机科学的“圣经”。
汤普逊和里奇如何在简陋的实验室里,敲出了改变世界的Unix命令行。
这些图灵奖得主并非生来就是神,他们也曾面临内存不足的窘迫、理论被质疑的孤独,以及对“机器是否能思考”的深刻困惑。
四、开启这段旅程
从下一讲开始,我们将正式进入1966年。
那一年,计算机还像电冰箱一样巨大且昂贵,程序员们还在用打孔纸带进行输入。而一个叫艾伦·珀利斯的男人站上了领奖台,他的一番话,正式将“计算机科学”从数学和工程学的怀抱中独立出来。
下一讲预告:
[图灵奖史·1966] 艾伦·珀利斯:计算科学的第一枚火种
我们将聊聊这位“首位得主”如何用那张犀利的嘴和天才的脑,为整个程序员群体定下了基调。