Article URL: https://www.quantamagazine.org/how-godels-proof-works-20200714/Comments URL: https://news.ycombinator.com/item?id=49290969Points: 31# Comments: 16