There was this thread a while back: https://news.ycombinator.com/item?id=25115746 https://news.ycombinator.com/item?id=25115746 (direct link: https://stopa.io/p

There was this thread a while back: https://news.ycombinator.com/item?id=25115746 https://news.ycombinator.com/item?id=25115746 (direct link: https://stopa.io/post/269 https://stopa.io/post/269) As someone with limited math knowledge, I found it quite readable and understandable though I can't vouch for its accuracy. I would say, though, when talking about Godel, there is significant disagreement over what his work implies about the world or about the status of truth statements (if anything). You can see people arguing over that in the comments. edit - this one looks good too, maybe better as it avoids the controversial philosophical discussion: https://dvt.name/2018/03/12/godels-first-incompleteness-theorem-programmers https://dvt.name/2018/03/12/godels-first-incompleteness-theo...