But isn’t this bad news for a Theory of Everything?:
At the frontiers of theoretical physics, many of the most popular ideas have one thing in common: they begin from a mathematical framework that seeks to explain more things than our currently prevailing theories do. Our current frameworks for General Relativity and Quantum Field Theory are great for what they do, but they don’t do everything. They’re fundamentally incompatible with one another, and cannot sufficiently explain dark matter, dark energy, or the reason why our Universe is filled with matter and not antimatter, among other puzzles.
It’s true that mathematics enables us to quantitatively describe the Universe, it’s an incredibly useful tool when applied properly. But the Universe is a physical, not mathematical entity, and there’s a big difference between the two.
Ethan Siegel, “No, The Universe Is Not Purely Mathematical In Nature” at Forbes
Maybe a universe that was completely explainable and provable couldn’t exist.