AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Incompleteness Theorem
I've always wondered about the incompleteness theorem. Whether there are interesting true statements that can't be pre-reviewed, right? And I asked him out of this in this recently. He assured me that yes, there are actually interesting ones that you can show that they're like ones that are sort of thing you actually want to know. Like, does this equation have a solution and that kind of thing? Would you agree with that? That it's not just these are like really stupid statements,. You know, self-recursive statements of no interest.