致力于将复杂问题复杂化
懒。 懒到懒得写个人简介。 就这样吧。
共 2 篇文章
哥德尔用“自指”证明了逻辑系统的死穴：**任何试图证明系统“绝对正确”的尝试，本质上都是悖论。**
Gödel's paradox: math contains unprovable truths.
