Andrej Bauer - 构造主义数学：如何不相信排中律
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
Thierry Coquand - 归纳定义与构造主义数学
...
Graham Manuell - 1/ 无点拓扑与构造主义数学
...
Graham Manuell - 4/ 无点拓扑与构造主义数学
...
Andrej Bauer - 可数实数集
...
Andrej Bauer - 形式化不可见的数学
...
Ingo Blechschmidt - 构造主义数学的新模态算子
...
【K理论仙境】从负数到K理论
...
【数学纪录片】Alexander Grothendieck, 天才的旅途
...
[RH Saga] 广义黎曼猜想｜ 黎曼猜想传奇 S1E3
...
[RH Saga] BSD猜想, 第2部分｜黎曼猜想传奇 S1E8
...
数学基础及其所谓的“危机”
...
Ingo Blechschmidt - 从证明中提取程序｜关于构造性、可实现性与双重否定的微型课程
...
[CT23] Ieke Moerdijk - Graph models for Eₙ-operads
...
Terence Tao 陶哲轩 - 1/4 Small gaps between primes
...
Axel Osmond - 迈向2维谱构造
...
Emily Riehl - 形式化后严格数学
...
Giovanni Sambin - 关于构造性拓扑学两种不同进路的一些非正式评论：有效空间和正性拓扑
...
Jacob Lurie - Fourier理论的范畴化
...
Laurent Lafforgue - 范畴的创造性威力：历史与新视角
...
Emily Riehl - 关于赋予不同事物相同名字的艺术
...
Amir Akbar Tabatabai - 拓扑斯理论：独立性的统一方法
...
Paul Dancstep - 什么是范畴论？数学的数学
...
Will Sawin - 1/6 函数域上的数论
...
Anantharaman, Ghys, Gowers & 陶哲轩 - 数学里的证明
...
Fosco Loregian - 迈向导子 (derivators) 的形式范畴论
...
Oded Yacobi - 决斗和对偶: 关于 Évariste Galois 的生活和数学的寓言
...
Jim Arthur - 母题与自守表示
...
André Joyal - 拓扑斯理论的几何方面与逻辑教义的关系
...
T. Szamuely - Grothendieck和Galois理论
...
Jean-Pierre SERRE - Valeurs de caractères
...
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
...
Raphaël Rouquier - 几何表示论作为表示论几何学
...
Geoffrey Vooys - 1/5 Equivariant Derived Categories
...
【数学纪录片】数学雕刻家 Patrice Jeener
...
Dustin Clausen - 泛函分析的新基础
...
[CHAT] Peter Sarnak - 自守尖点表示与Maass形式
...
Peter Stevenhagen - 类域论, 第1讲
...
「视听语言」如果你拍片没有逻辑没有思路，不妨来看看北电/VFS视听语言课程！！！第四集！
...
Philsang Yoo - Langlands对偶和量子场论
...
Robert Burklund - 色零点定理 (The chromatic Nullstellensatz)