Hacker Next
How Gödel's Proof Works (2020)quantamagazine.org
121 points by tzury 7 days ago | 65 comments