computer-science

哥德尔证明如何运作 (2020)

哥德尔证明揭示了任何足够复杂的公理系统都存在无法在该系统内部被证明的真命题，这一发现彻底改变了数学、哲学、计算机科学以及我们对逻辑的认知。