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

热度排名 #1990

当形式语言足够能表达，会遇到什么问题？

Weird Things Happen When Math Gets Too Expressive

先弄清一套语言怎样编码算术语句和有关证明的语句。再听更强的表达能力为何会带来新的不可判定问题。

Casual Graphs · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2026-04-13 · 帖子分数 1