V
主页
京东 11.11 红包
Emily Riehl - 形式化后严格数学
发布人
https://youtu.be/0nbVoM-xmVY Emily Riehl- Formalizing post-rigorous mathematics
打开封面
下载高清视频
观看高清视频
视频下载器
Emily Riehl - 数学家,音乐家,教育者
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
Will Sawin - 1/6 函数域上的数论
Emily Riehl - 关于赋予不同事物相同名字的艺术
【数学纪录片】Alexander Grothendieck, 天才的旅途
Andrew Wiles - 朗兰兹纲领
【课程】Andrej Bauer - 形式化的数学与证明助手
Jacob Lurie - 什么是... 𝘱进几何?
Peter Haine - 同伦论与代数几何的互动
【K理论仙境】从负数到K理论
【访谈】亚历山大·格罗滕迪克的生平和拓扑斯理论|Colin McLarty
[RH Saga] 广义黎曼猜想| 黎曼猜想传奇 S1E3
Emily Riehl - Lecture 1: Contractibility as Uniqueness
Hillel Furstenberg - 为什么我选择了数学
Jean-Pierre SERRE - Valeurs de caractères
Emily Riehl - 同伦类型论的无穷拓扑斯语义 II:泛等基础的单纯形模型
Graham Manuell - 1/5 无点拓扑与构造主义数学
Yiannis Sakellaridis - Perspectives on Automorphic L-Functions
Emily Riehl - Lecture 2: Path induction and the indiscernibility of identicals
Emily Riehl - 矩阵范畴里的米田引理(Yoneda lemma)
Emily Riehl - Lecture 3: Arrow induction and the dependent Yoneda Lemma
Emily Riehl - 同伦类型论的无穷拓扑斯语义 I:依赖类型论的范畴语义
Matteo Capucci - Softmax 是 Argmax,及实数的逻辑
Graham Manuell - 2/5 无点拓扑与构造主义数学
Emily Riehl - 无穷范畴论的模型独立性的证明
Emily Riehl - 无穷范畴的综合理论 vs 无穷范畴的综合理论
Boaz Katz - 关于无法求解五次方程的Abel定理的简短证明
Jeremy Avigad - 形式数学,依赖类型论和拓扑斯研究所
Serre, Cartier, Dixmier 和 Connes 谈布尔巴基的 1945-75 年代
Alexander Efimov - 4/6 Dualizable categories and localizing motives
Terence Tao 陶哲轩 - 1/4 Small gaps between primes
David Mumford - 人工智能将如何影响数学研究
Paolo Perrone - Convergence of martingales via enriched dagger categories
Lingyuan Ye 叶凌远 - 通过拓扑范畴统一模态逻辑
Daniel Litt - Galois theory of local systems
Christophe Breuil - The local Langlands program and characteristic 𝘱
Patrick Massot - 用证明助手交流数学
[RH Saga] L函数和朗兰兹纲领|黎曼猜想传奇 S1E2
Paul Dancstep - 什么是范畴论?数学的数学
Ingo Blechschmidt - 从证明中提取程序|关于构造性、可实现性与双重否定的微型课程