Comment Comment by braindongle If you're uninitiated and simply want to grok where true-but-unprovable comes from, I recommend: https://www.quantamagazine.org/how-godels-incompleteness-the...Wolchover is masterful here. The layers of abstraction keep piling up, and I had to read the last part more than a couple of times to really get it, but then you have it. parent braindongle 6 years ago
Wolchover is masterful here. The layers of abstraction keep piling up, and I had to read the last part more than a couple of times to really get it, but then you have it.