Hacker News Follow How Gödel's Proof Works (2020) https://www.quantamagazine.org/how-godels-proof-works-20200714/ quantamagazine.org
