视频目录 / 数学导览与专题

热度排名 #1327

数学究竟有多少是可以知道的？

How Much Math Is Knowable?

斯科特·阿伦森从哥德尔不完备性和图灵的不可计算性讲起，用忙海狸函数说明某些明确定义的数为什么仍很难确定。

Santa Fe Institute · 1 串讨论 · 热度 1.978

在此播放

讨论出处

• Hacker News · 原讨论 ↗2025-09-11 · 帖子分数 5