https://github.com/davepinch/pinchy.cc/blob/master/content/streams/you-win-the-silent-treatment-game/0/you-win-the-silent-treatment-game.md
How Gödel’s Proof Works (quantamagazine.com) In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history.