AMA | September 2024

9970.937 - 9992.935 Sean Carroll

And the idea is that Gödel has proven that an insufficiently powerful formal system— I'm going to paraphrase, apologies to the experts out there, but there are true things that you can't prove if you assume that the system that you're looking at is consistent in some way. And Penrose says, but I'm a mathematician. I can see the truth. of these statements even though I can't prove them.