1. How Gödel's Proof Works (2020) (www.quantamagazine.org)