当今美国总统特朗普的诸多言行,曾屡次引发科学共同体的反对。时值特朗普与拜登双方竞选局势日趋紧张之际,一份由24位图灵奖得主共同签署的文件曝光。
文件内容显示,24位图灵奖获得者共同签署了信件,以支持前副总统拜登在11月的美国总统竞选。
在更早的一次集体采访中,其中的四名科学家曾表示,特朗普政府的限制性移民规定对美国的计算机科学研究构成了威胁,可能会对科技行业造成长期损害,而数十年来,科技行业一直是美国的经济引擎之一。
文件全文(有基于事实原意的删减):
图灵奖被称为计算机科学的诺贝尔奖。24位图灵奖获得者签署了这封信,以支持前副总统拜登(Joe Biden)竞选美国总统、美国和参议员卡马拉·哈里斯(Kamala Harris)为副总统。这是史上第一次图灵奖得主群体(以这种方式)公开支持美国总统候选人。
信息技术已经彻底全球化。计算机科学吸引了很多有才华的学生,他们中的不少人移民来到了美国,成为创新者和行业领袖。我们庆贺诸如开源项目这样的国际合作成果,这是我们的生命线。计算机科学正处在其黄金年代,在不断进步的鼓舞之下,我们自由地分享所学之识和新的发现。这些核心价值帮助美国成为信息技术的领导者,这对于这个信息时代而言非常重要。
乔·拜登和卡马拉·哈里斯在制定公共政策前会听取专家意见,在科学技术或有助于我们的国家解决今日所遭受的诸多问题之时,这一点也至关重要。作为美国计算机科学家,作为美国公民,我们由衷支持拜登竞选美国总统、卡马拉·哈里斯竞选副总统。
以下24位图灵奖获得者以公民个人身份进行了签名:
· Manuel Blum ,出生于委内瑞拉的加拉加斯,他的父母在2007年从欧洲逃离并于当地定居。20世纪30年代,Blum 在麻省理工学院开始了他的教学生涯,担任数学专业助理教授。1968年,他在加州大学伯克利分校获得教职。2001年,他加入卡内基梅隆大学担任大学计算机科学教授。他的35个博士生几乎覆盖了全美各大计算机科学系。因他对计算复杂度理论及其在密码学和程序检查中的应用贡献,他获得了1995年图灵奖。
· Ed Catmull,皮克斯公司联合创始人,曾在皮克斯公司担任总裁33年,退休前还曾任迪斯尼总裁13年。他创立了三个计算机图形研究中心,包括卢卡斯影业和皮克斯的计算机部门。这些机构的成果奠定了计算机图形学的部分基础。Ed Catmull本人是渲染软件RenderMan的奠基人,该软件现已被90%以上的 Academy Award® for Visual Effects得主所使用。他与伙伴合著的《Creativity, Inc》一书,正是基于他的近50年的研究成果所编写。他所获的荣誉包括两次奥斯卡电影艺术学院奖、IEEE冯-诺依曼奖,以及与Pat Hanrahan共享2019年ACM图灵奖。
· Vinton Cerf,谷歌的副总裁兼首席互联网布道师。他曾担任监管互联网域名系统的机构ICANN的董事会成员,还是喷气推进实验室的客座科学家。Vinton与Robert Kahn一起设计了互联网的基本架构,两人他们曾获得美国国家技术勋章、总统自由勋章、日本奖、伊丽莎白女王工程奖和2007年图灵奖。他拥有29个荣誉学位。
· Whitfield Diffie,曾是Sun Microsystems的首席安全官,其最为人道的是他在1975年发明了公钥密码学的概念,并与Martin Hellman继续发展了这个概念。他与Susan Landau合著了《隐私在线(Privacy on the Line)》一书,该书探讨政府限制私人使用密码学的企图。Diffie还是伦敦皇家学会成员,与Martin Hellman共同获得2015年图灵奖。
· Shafi Goldwasser是西蒙斯计算理论研究所所长,也是加州大学伯克利分校计算机科学教授、麻省理工学院的RSA教授、以色列魏茨曼科学研究所。她曾两次获哥德尔奖,并因 Probabilistic Encryption获得2012年图灵奖(与Silvio Micali分享)。
· Pat Hanrahan是斯坦福大学电子工程和计算机科学的CANON教授、皮克斯的创始员工、顶尖渲染软件RenderMan的首席架构师。他也是Tableau公司的联合创始人之一,该公司致力于开发易于使用的分析工具,帮助用户利用数据做出明智决策。他曾三次获得奥斯卡科学与技术奖,并与Ed Catmull因利用计算机技术彻底改变电影生产而获得2019年图灵奖。
· Martin Hellman,斯坦福大学教授,对技术发展伦理学有着浓厚的兴趣,并在这方面进行了大量写作和演讲。他最著名的成果是发明公钥密码学,该发明保证了互联网交易的安全性,进而支撑每天数万亿美元的金融交易。他因这项工作入选国家发明家名人堂,并与Whitfield Diffie共获2015年图灵奖。
· John Hennessy,斯坦福大学电子工程和计算机科学教授,曾在2000年至2016年间担任斯坦福大学校长。2017年,他发起了Knight-Hennessy计划——全球最大规模的全额奖学金项目,目前仍是该项目的主任。此外,他还是Atheros的创始董事会主席,并曾在思科和Alphabet董事会任职。他与David Patterson撰写过两本全球通用的计算机架构教科书,其荣誉包括2012年IEEE荣誉奖章和2017年的图灵奖(与David Patterson共享)。ACM颁发两人图灵奖,以表彰他们提出的RISC架构,该架构已经被当今99%的计算机所采用。
· John Hopcroft是康奈尔大学的名誉教授,他曾担任工程系主任和工程学院院长。Hopcroft曾在众多咨询委员会任职,包括空军科学咨询委员会、NASA空间科学委员会和国家科学委员会。他还是美国国家科学基金会的负责人。他的计算理论和数据结构著作被认为是领域标准。他还拥有六所大学的荣誉学位。在1986年,他被授予图灵奖(与Robert Tarjan共享),以表彰他在算法和数据结构设计分析方面的成就。”
· Richard Karp是加州大学伯克利分校的名誉教授,以及该校计算机科学部的第一任主席、伯克利分校西蒙斯计算理论研究所主任．。他所获得的荣誉包括伯克利杰出教学奖、国家科学奖章、哈维奖、本杰明-富兰克林奖章、京都奖,以及9个荣誉博士学位。他因开创组合算法和发展了NP完全性理论而获得1985年图灵奖。
· Alan Kay是计算机科学先驱,帮助发展了我们所熟知的计算,所获荣誉包括:因其对第一台实用网络用户计算机的设想、构思和开发获得Draper奖(与Butler Lampson、Charles Thacker和Robert Taylor共享);因其创造了现代用户计算的概念并对其实现做出了贡献获得京都奖;因其对现代用户计算的贡献获2003年图灵奖(包括图形用户界面)。
· Donald Knuth,斯坦福大学荣誉退休教授,经典多卷著作《计算机程序设计艺术》的作者,被称为算法分析之父。Knuth还发明了广泛使用的TeX计算机文本排版系统。他因在算法分析和编程语言设计方面的重要贡献,尤其是他的著作在“计算机程序设计”领域的贡献,获得了国家科学奖章和图灵奖。他于1974年获得图灵奖,是仍然在世的最早获得图灵奖的科学家。
· Leslie Lamport,微软研究院杰出科学家,著有一篇被视为是建立了分布式计算理论的论文。他发明了多个有影响力的并发和分布式算法,其中一个是大多数联网计算机系统中容错机制的基础。由于对分布式和并发系统的理论实践做出了重要贡献,他获得了IEEE冯·诺依曼奖和2013年图灵奖。
· Butler Lampson,微软研究院技术研究员,麻省理工学院兼职教授,从事计算机系统和网络安全方面的研究。他是国家网络安全名人堂成员,也是英国皇家学会外籍会员。他获得的荣誉包括1992年图灵奖、IEEE冯·诺依曼奖、德雷珀奖(与Alan Kay, Robert Taylor和Charles Thacker共同获得)。他的贡献包括联网个人电脑的研发、图形交互界面、所见即所得文字编辑器、以太网和设计激光打印机。
· Yann LeCun,Facebook副总裁兼首席AI科学家,纽约大学柯朗数学科学研究所Silver教授。他获得了法国荣誉军团骑士勋章,因“做出了概念和工程方面的突破,使深度神经网络成为计算的重要组成部分”获得了2018年图灵奖(与Geoffrey Hinton和Yoshua Bengio共享)。
· Barbara Liskov,麻省理工学院教授。她在编程语言、编程方法和分布式系统方面的研究广为人知。她在编程语言和方法论方面的工作促成了Liskov替代原理和抽象方法的发明,成为当今计算机程序设计和组织的基础。她在分布式系统领域的研究促成了复制技术(拜占庭容错及算法Paxos)的发明,用于确保即使出现故障和恶意攻击也能可靠地存储在线信息。她是两本有关软件设计的国际通用教科书的合著者。她获得的荣誉奖项包括IEEE冯·诺依曼奖、IEEE先锋奖和2009年图灵奖。
· David Patterson,加州大学伯克利分校计算机科学系荣誉退休教授兼系主任,美国计算机研究会(CRA)主席,以及ACM主席。他是七本著作的合著者,其中包括两本国际通用的计算机架构教科书(与John Hennessy合著)。由于对“如今99%计算机所使用的精简指令集”做出重要贡献,他被授予2017年图灵奖(与John Hennessy共享),其他荣誉还包括IEEE教育奖和IEEE冯·诺依曼奖。
· Raj Reddy,卡内基梅隆大学计算机科学与机器人学教授兼计算机科学系Moza Bint Nasser主席,机器人研究所创始所长和计算机科学院院长。他曾担任总统信息技术咨询委员会联合主席,获得了11个荣誉博士学位。他因“率先设计和建造了大型人工智能系统,展示了人工智能技术的实用重要性和潜在的商业影响”获得了1994年图灵奖(与Edward Feigenbaum一起),其他荣誉包括法国荣誉军团奖、帕德玛·布珊奖、Honda奖和范内瓦·布什奖。”
· Ronald Rivest,麻省理工学院教授。他最著名的成果是与Lens Adleman和Adi Shamir共同发明了RSA公钥密码系统。他还是RSA Security和Verisign的联合创始人。他曾在技术准则制定委员会(选举援助委员会的顾问)任职,管辖安全小组委员会。他是最畅销的算法教科书合著者、美国国家发明家名人堂成员、马可尼奖和2005年图灵奖的获得者(与Lens Adleman和Adi Shamir一起)。
· Richard Stearns,纽约州立大学奥尔巴尼分校杰出名誉教授,曾任计算机科学系系主任。他获得了兰切斯特运筹学奖和1993年的图灵奖(与Juris Harmanis一起获奖),原因是他们“为计算复杂性理论领域奠定了基础的开创性论文”。
· Michael Stonebraker,麻省理工学院计算机科学兼职教授。在1999年之前,他是加州大学伯克利分校的计算机科学教授。他建立了多个有影响力的数据库系统,包括Ingres、Postgres、Vertica和SciDB。在职业生涯中,他还创立了10家初创公司,以将其学术原型商业化。他因“对现代数据库系统的基础概念和实践做出了重要贡献”而获得2014年图灵奖。但他表示,自己最有名的成就是在1988年与妻子骑乘双人自行车横穿美国且没有离婚。
· Ivan Sutherland,波特兰州立大学的客座科学家。他曾在加州理工学院担任计算机科学系主任,在哈佛大学和犹他大学任教,还曾是美国国防高级研究计划局(DARPA)信息处理技术办公室主任,并联合创立了Evans & Sutherland Computer Corporation公司。他被认为是交互式计算机图形学之父,并因此获得了1988年图灵奖。
· Robert Tarjan,普林斯顿大学计算机科学James S． McDonnell杰出教授,Intertrust Technologies高级研究员。他曾在康奈尔大学、伯克利大学、斯坦福大学和纽约大学担任学术职务,并在贝尔实验室,NEC,惠普和微软担任过工业研究职务。他发明或与人共同发明了许多已知最有效的数据结构和图形算法。他因“对信息科学的数学方面的杰出贡献”而获得国际数学联盟的首个奈望林纳奖,因伸展树的发明获得了Paris Kanellakis奖(与Daniel Sleator一起),并且因“在算法和数据结构的设计和分析方面的奠基成就”而获得了1986年图灵奖(与John Hopcroft一起)。
· Leslie Valiant,哈佛大学计算机科学与应用数学T． Jefferson Coolidge教授。他是机器学习和人工智能理论的奠基人,设计了整体同步并行计算模型,发明了数据中心的随机通信方法,并开发了计算可行性固有局限性的基本理论。他是1986年国际数学联盟的奈望林纳奖和2010年图灵奖获得者。
附:美国总统竞选轶事
在这次的图奖得主联名信之前,美国老牌科学杂志《科学美国人》在9月也宣布了支持乔·拜登,这是该杂志175年历史上的首次支持一名总统候选人。
《科学美国人》的编辑说,有大量有据可查的证据表明,由于特朗普总统拒绝听取科学的意见,包括从气候变化到冠状病毒,使得成千上万的美国人丧失了宝贵的生命,他们感到“不得不”这样做了。
而根据近期民调,拜登和特朗普的竞选情况是,前副总统拜登的支持率领先特朗普。最近几天《纽约时报》联合锡耶纳学院所做每个州600余人规模的最新民调显示,拜登在缅因州和亚利桑那州的支持率大幅领先特朗普(49%和40%;55%和38%),而在北卡罗来纳州的支持率比特朗普高出1个百分点(45%和44%)。
和复杂的民调以及各方机构发布的令人目眩的数学模型相比,美国历史教授李奇曼是预测美国大选领域一道独一无二的风景线,他从1984年开始预测大选结果,40年来从未失手,包括2016年特朗普的胜选,而当时距离大选落幕还有两个月时间,特朗普在民调中处于明显的落后,颇有戏剧意味的是,特朗普在胜选后给李奇曼写了一封信,内容是华盛顿邮报当时刊发的李奇曼所作的预测结果,特朗普用大号马克笔批注道:教授,恭喜你说对了!当然随信附上的还有特朗普标志性的“心电图体”签名。
而这一次,李奇曼教授预测的胜选人是,拜登。
