摘要: 知乎有人翻译了一篇简单说明哥德尔不完备性的文章。 如何简单清晰地解释哥德尔不完备定理? - 叶青杰的回答 - 知乎 https://www.zhihu.com/question/27528796/answer/1346097249 里面说到了替换 sub(a, b, c),用这个替换可以在形式系统中 阅读全文
posted @ 2022-05-07 00:50 JingeTU 阅读(333) 评论(0) 推荐(0) 编辑