2023图灵奖得主揭晓!史上首位计算机和数学最高奖“双料王”诞生

本文主要是介绍2023图灵奖得主揭晓!史上首位计算机和数学最高奖“双料王”诞生,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

重磅消息!北京时间4月10日下午5点整,ACM宣布把2023年图灵奖颁给Avi Wigderson,以表彰Wigderson对计算理论和随机性做出的奠基性贡献。

图片

ACM图灵奖通常被称为“计算机领域的诺贝尔奖”,奖金为100万美元,通常颁发给计算机科学各领域的研究领袖。

分享几个网站

GPT-3.5研究测试:
https://hujiaoai.cn

GPT-4研究测试:
https://higpt4.cn

Claude-3研究测试(全面吊打GPT-4):
https://hiclaude3.com

计算理论和随机性的领袖

Wigderson是普林斯顿高等研究院数学学院的教授,他是计算复杂性理论、算法和优化、随机性和密码学、并行和分布式计算、组合学和图论以及理论计算机科学与数学等科学之间的联系等领域的领军人物。[1]

图片

Wigderson教授,2013年当选美国国家科学院院士,2018年因对“理论计算机科学和数学的贡献”被授予ACM会士。2021年,Wigderson获得阿贝尔奖,“以表彰他们对理论计算机科学和离散数学的基础性贡献,以及他们将其塑造为现代数学的中心领域方面的领导作用”[2]

图片

这次Wigderson获得图灵奖,也成为了第一个同时获得过图灵奖和阿贝尔奖的人。

什么是计算理论

计算理论涉及计算机科学的数学基础。它提出的问题包括“这个问题是否可以通过计算解决”和“如果这个问题可以通过计算解决,需要多少时间和其他资源?”

计算理论还探索高效算法的设计,虽然并不直接涉及改进计算的实际应用,但其研究成果是计算机科学各领域的基础,比如密码学、计算生物学、网络设计、机器学习和量子计算等。

图片

什么是计算的随机性

计算的随机性研究是计算理论的一个子集,从根本上来说,计算机是确定性系统,意味着给定特定的输入,算法的指令集将准确预测计算的输出。

然而,现实世界充斥着难以预测的随机事件,如天气变化和量子现象。为了提升算法效率,计算机科学家引入了能在计算过程中进行随机选择的概率算法,成功解决了一些难以找到有效确定性解决方案的问题,尽管这些算法可能包含微小的误差概率。

这引出了是否能完全去除随机性、所需随机性的质量,以及如何理解和利用计算中的随机性与伪随机性等基本问题。深入理解这些动态将有助于我们开发更好的算法,并深化对计算本质的认识。

Wigderson的卓越贡献

四十年来,作为一名数学家和计算机科学家,威格德森最重要的贡献就是增强了人类对计算中随机性和伪随机性作用的理解。

上世纪40年代,乌拉姆和冯·诺依曼共同发明的蒙特卡罗方法,开启了随机算法的先河。

在上世纪70年代末,计算机科学家们已经发现:随机性和计算难度之间存在显著联系,对于许多难题,采用随机性的算法(也称为概率算法)可以远远胜过其确定性方案,比如当时的拉斯维加斯算法。

图片

在80年代,BPP复杂性类的建立,标志着对随机算法计算复杂性系统性研究的开始,BPP类描述了那些可以在多项式时间内解决且具有误差概率的算法。Wigderson在该领域的三项研究深远地影响了计算机科学的各个学科:

Hardness vs. Randomness

BPP has subexponential time simulations unlessEXPTIME has publishable

P = BPP if E Requires Exponential Circuits: Derandomizing the XOR Lemma

此外,除了随机性方面的工作之外,Wigderson也是理论计算机科学其他几个领域的知识领袖,包括多证明者交互式证明、密码学和电路复杂性。

图灵奖背后的故事

Wigderson教授,1956年出生于以色列海法。Wigderson的父亲是一名电气工程师。他的父亲喜欢拼图,并对数学的基本概念非常感兴趣,然后又经常跟孩子们分享他的想法。

Wigderson在采访中这样描述父亲对他的影响:就是他让我感染了数学这种“病毒”。

本来大学想主修数学专业的他,却被父母劝导学计算机,理由是:

计算机科学是一个年轻的领域,可能更好找工作

图片

果然,是金子到哪里都会发光。

后来年轻的威格德森于1980年在以色列理工学院取得学士学位,在短短三年内,又于1983年在普林斯顿大学获得了计算机科学博士学位。他先后在加利福尼亚大学伯克利分校、圣何塞IBM研究院、美国国家数学科学研究所和耶路撒冷希伯来大学担任过职位,2003年成为普林斯顿高等研究院的全职人员。

后来又同时拿到了计算机的诺奖——图灵奖以及数学的诺奖——阿贝尔奖,也成了历史上目前唯一一个达成此成就的人。Wigderson的贡献过于瞩目,以至于有人觉得图灵奖早就颁该给他。

图片

图片

除了突破性的技术贡献外,Wigderson在为人方面也是好评如潮,他被认为是一位受人尊敬的导师和同事,为无数年轻研究人员提供了建议。

图片

图片

图片

此外,Wigderson虽身为一名以色列人,但他坚定地反对以色列对他国领土的侵占,并致力于寻找以色列与巴勒斯坦之间的共同政治解决方案。

图片

他的光辉不仅来源于智慧,还伴随着奉献和道义,这激励着我们所有人。

这篇关于2023图灵奖得主揭晓!史上首位计算机和数学最高奖“双料王”诞生的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/894285

相关文章

uva 10014 Simple calculations(数学推导)

直接按照题意来推导最后的结果就行了。 开始的时候只做到了第一个推导,第二次没有继续下去。 代码: #include<stdio.h>int main(){int T, n, i;double a, aa, sum, temp, ans;scanf("%d", &T);while(T--){scanf("%d", &n);scanf("%lf", &first);scanf

uva 10025 The ? 1 ? 2 ? ... ? n = k problem(数学)

题意是    ?  1  ?  2  ?  ...  ?  n = k 式子中给k,? 处可以填 + 也可以填 - ,问最小满足条件的n。 e.g k = 12  - 1 + 2 + 3 + 4 + 5 + 6 - 7 = 12 with n = 7。 先给证明,令 S(n) = 1 + 2 + 3 + 4 + 5 + .... + n 暴搜n,搜出当 S(n) >=

uva 11044 Searching for Nessy(小学数学)

题意是给出一个n*m的格子,求出里面有多少个不重合的九宫格。 (rows / 3) * (columns / 3) K.o 代码: #include <stdio.h>int main(){int ncase;scanf("%d", &ncase);while (ncase--){int rows, columns;scanf("%d%d", &rows, &col

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

计算机毕业设计 大学志愿填报系统 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试

🍊作者:计算机编程-吉哥 🍊简介:专业从事JavaWeb程序开发,微信小程序开发,定制化项目、 源码、代码讲解、文档撰写、ppt制作。做自己喜欢的事,生活就是快乐的。 🍊心愿:点赞 👍 收藏 ⭐评论 📝 🍅 文末获取源码联系 👇🏻 精彩专栏推荐订阅 👇🏻 不然下次找不到哟~Java毕业设计项目~热门选题推荐《1000套》 目录 1.技术选型 2.开发工具 3.功能

CSP 2023 提高级第一轮 CSP-S 2023初试题 完善程序第二题解析 未完

一、题目阅读 (最大值之和)给定整数序列 a0,⋯,an−1,求该序列所有非空连续子序列的最大值之和。上述参数满足 1≤n≤105 和 1≤ai≤108。 一个序列的非空连续子序列可以用两个下标 ll 和 rr(其中0≤l≤r<n0≤l≤r<n)表示,对应的序列为 al,al+1,⋯,ar​。两个非空连续子序列不同,当且仅当下标不同。 例如,当原序列为 [1,2,1,2] 时,要计算子序列 [

数学建模笔记—— 非线性规划

数学建模笔记—— 非线性规划 非线性规划1. 模型原理1.1 非线性规划的标准型1.2 非线性规划求解的Matlab函数 2. 典型例题3. matlab代码求解3.1 例1 一个简单示例3.2 例2 选址问题1. 第一问 线性规划2. 第二问 非线性规划 非线性规划 非线性规划是一种求解目标函数或约束条件中有一个或几个非线性函数的最优化问题的方法。运筹学的一个重要分支。2

计算机视觉工程师所需的基本技能

一、编程技能 熟练掌握编程语言 Python:在计算机视觉领域广泛应用,有丰富的库如 OpenCV、TensorFlow、PyTorch 等,方便进行算法实现和模型开发。 C++:运行效率高,适用于对性能要求严格的计算机视觉应用。 数据结构与算法 掌握常见的数据结构(如数组、链表、栈、队列、树、图等)和算法(如排序、搜索、动态规划等),能够优化代码性能,提高算法效率。 二、数学基础

HNU-2023电路与电子学-实验3

写在前面: 一、实验目的 1.了解简易模型机的内部结构和工作原理。 2.分析模型机的功能,设计 8 重 3-1 多路复用器。 3.分析模型机的功能,设计 8 重 2-1 多路复用器。 4.分析模型机的工作原理,设计模型机控制信号产生逻辑。 二、实验内容 1.用 VERILOG 语言设计模型机的 8 重 3-1 多路复用器; 2.用 VERILOG 语言设计模型机的 8 重 2-1 多

java计算机毕设课设—停车管理信息系统(附源码、文章、相关截图、部署视频)

这是什么系统? 资源获取方式在最下方 java计算机毕设课设—停车管理信息系统(附源码、文章、相关截图、部署视频) 停车管理信息系统是为了提升停车场的运营效率和管理水平而设计的综合性平台。系统涵盖用户信息管理、车位管理、收费管理、违规车辆处理等多个功能模块,旨在实现对停车场资源的高效配置和实时监控。此外,系统还提供了资讯管理和统计查询功能,帮助管理者及时发布信息并进行数据分析,为停车场的科学