热度排名 #1509

哥德尔不完备定理｜理论计算机科学的重要思想

Great Ideas in Theoretical Computer Science: Gödel's Incompleteness Theorems (Spring 2013)

从形式系统能表达算术出发，理解数学语句怎样获得数字编号，以及这个编号为何能间接谈论证明自身。

Ryan O'Donnell · 1 串讨论 · 热度 1.819

讨论出处