AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Theorems That We Cannot Prove
Every mathematical theory is held inside a physical substratum, a brain or a computer. You are always bound by the laws of physics. These pure, abstract domains may have no mapping to reality. Theorems that we cannot prove as true or false can't have any bearing in our physical universe. And there's a lot of inherently uninteresting things.