Hacker News 中文 关注 哥德尔证明是如何运作的（2020） How Gödel's Proof Works (2020) quantamagazine.org Hacker News 中文 RSS thenote.app
