视频目录 / 计算数学与算法

热度排名 #960

FOCS 2024 3A｜复杂性下界的逆向数学

FOCS 2024 3A Reverse Mathematics of Complexity Lower Bounds

逆向数学追问证明一个结果需要哪些公理或原理。听这场报告时，可记录它选择的复杂性下界，以及反向推回基础原理时用了什么。

FOCS 2024 · 1 串讨论 · 热度 2.589

在此播放

讨论出处

• Hacker News · 原讨论 ↗2025-12-02 · 帖子分数 175