热度排名 #1411

埃米莉·里尔：数学证明的新范式？

Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025

从研究者如何写证明、怎样让他人检查证明出发，听里尔讨论新工具和新基础会改变哪些环节。

Hopkins Natural Philosophy Forum · 1 串讨论 · 热度 1.869

讨论出处