热度排名 #1474

数学中心的悖论：哥德尔不完备定理

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

马库斯·杜·索托伊用自指说明，足够表达算术的形式系统会遇到自己无法证明的命题。重点是为什么算术能表达有关证明的陈述。

TED-Ed · 1 串讨论 · 热度 1.819

讨论出处