V
主页
数学的未来
发布人
https://www.youtube.com/watch?v=Dp-mQ3HxgDE&t=74s The Future of Mathematics Microsoft Research 2019年10月2日 作为一名纯数学教授,我的工作包括教学、研究和推广。两年前,我对形式方法产生了兴趣,并学会了如何使用在 MSR 开发的精益定理证明程序。从那以后,我完全相信像精益这样的工具将在未来的数学中发挥作用。在我所在大学一群热情的本科生的帮助下,我们已经开始使用精益课程将我们的课程数字化,而且进展非常迅速。我将谈谈我们的成就,以及我们面临的问题和挑战。事实证明,要找到工作人员很困难,因为这些工具目前还不够成熟,不足以成为高水平数学研究的有用工具。我相信这种情况将不可避免地改变。数学家汤姆 · 黑尔斯以证明开普勒猜想而闻名,他有一个名为“正式摘要”的项目,这个项目最终将为数学家提供几种新的研究工具。Hales 选择使用 Lean 作为他项目的后端。最后,我将讨论他的愿景,我对构建工具的想法,我相信我们可以做到这一点,最后,我将推测数学的未来。 没有先进的数学知识将被假定。 PDF: https://www.microsoft.com/en-us/research/uploads/prod/2019/09/The-Future-of-Mathematics-SLIDES.pdf。
打开封面
下载高清视频
观看高清视频
视频下载器
基本扭量理论,双扭量和分裂八元数-罗杰 · 彭罗斯
复乘的过去、现在、未来(二)本尼迪克特•格罗斯
黎曼几何中的曲率
数学: 未来100年-牛津数学校友讲座
度量空间 MetricSpaces 3
微分几何应用 DGA10 - 测地线
如果宇宙是数学呢
Jürgen Jost (82921) 数据的几何与拓扑
Universal双曲几何 10 正中心是存在的!
转向德恩手术 - 索尔·施莱默
分析的创新本质 之一:导数丶微分形式丶上同调之间的内在关系
微分几何应用 DGA16 - 拉普拉斯与海森嵌入
拉格朗日 简史
穷人在 C + + 中的反思
Universal双曲几何 08 齐次坐标计算
集合论基本介绍 #SoME3
爱因斯坦数学研究所
Zeta 能源 电池的突破?
微分几何应用 DGA12 - 曲率
微分几何应用 DGA09 - 统计流形
流形 # 1-流形简介
微分几何应用 DGA07 - 度量
第11周-第53课流形的三角剖分
费米子的格场理论ーー第一部分——菲亚拉 · 沙纳汉
计算群论 群的上同调和拓扑方法4
论瑟斯顿在几何、拓扑和动力系统方面的愿景 II-米哈伊尔·赫卢什昌卡
S·赫森斯基 - 电气网络和斯蒂芬森猜想
重整化:为什么越大越简单
用线性代数直观介绍"射影几何"
切丛的构造e - Lec 10 - 弗雷德里克 · 舒勒
核磁共振数学基础-DK 博士
基于忆阻器和忆阻晶体管的内存计算——达尼埃莱·耶尔米尼
代数基本定理-简单而美丽的几何证明
有限元外微分,第一部分,道格拉斯·N·阿诺德
二次曲线和二次曲线的射影观点 | 微分几何9 | NJ 维尔德伯格
超越深度学习的通用人工智能
Ana Caraiani - 2/3 Shimura Varieties and Modularity
微分几何应用 DGA14 - 黎曼牛顿法
微分几何 - 1 - 曲线 x 定义和技术细节
3-流形的几何形状