|
|
|
图片出处：unsplash.com
当今美国总统特朗普的诸多言行，曾屡次引发科学共同体的反对。时值特朗普与拜登双方竞选局势日趋紧张之际，一份由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年特朗普的胜选，而当时距离大选落幕还有两个月时间，特朗普在民调中处于明显的落后，颇有戏剧意味的是，特朗普在胜选后给李奇曼写了一封信，内容是华盛顿邮报当时刊发的李奇曼所作的预测结果，特朗普用大号马克笔批注道：教授，恭喜你说对了！当然随信附上的还有特朗普标志性的“心电图体”签名。而这一次，李奇曼教授预测的胜选人是，拜登。责任编辑：尹天琦 |
|
发表于 2020-9-19 09:27:29
