yego.me
💡 Stop wasting time. Read Youtube instead of watch. Download Chrome Extension

We Can’t Prove Most Theorems with Known Physics


2m read
·Nov 3, 2024

Processing might take a few minutes. Refresh later.

The overwhelming majority of theorems in mathematics are theorems that we cannot possibly prove. This is Girdle's theorem, and it also comes out of Turing's proof of what is and is not computable. These things that are not computable vastly outnumber the things that are computable, and what is computable depends entirely upon what computers we can make in this physical universe.

The computers that we can make must obey our laws of physics. If the laws of physics were different, then we'd be able to prove different sorts of mathematics. This is another part of the mathematician's misconception: they think they can get outside of the laws of physics. However, their brain is just a physical computer. Their brain must obey the laws of physics.

If they existed in a universe with different laws of physics, then they could prove different theorems. But we exist in the universe that we're in, and so we're bound by a whole bunch of things, not least of which is the finite speed of light. So there could be certain things out there in abstract space which we would be able to come to a more full understanding of if we could get outside of the restrictions of the laws of physics here.

Happily, none of those theorems that we cannot prove at the moment are inherently interesting. Some things can be inherently boring; namely, all of these theorems which we cannot possibly prove as true or false. Those theorems can't have any bearing in our physical universe. They have nothing to do with our physical universe, and this is why we say they're inherently uninteresting. There's a lot of inherently uninteresting things...

More Articles

View All
Introduction to sampling distributions
So let’s say I have a bag of colored balls here, and we know that 40 of the balls are orange. Now imagine defining a random variable X, and X is based on a trial where we stick our hand in this bag, we don’t look around, and we randomly pick a ball, look …
The Next Market Crash - 7 Ways To Make Money
What’s up, you guys? It’s Graham here. So I feel like it’s time we address something that probably a lot of us have recently considered, and that would be the next stock market crash. After all, in the last week, the stock market has risen to brand new re…
Worked example: divergent geometric series | Series | AP Calculus BC | Khan Academy
So we’ve got this infinite series here, and let’s see. It looks like a geometric series. When you go from this first term to the second term, we are multiplying by -3, and then to go to the next term, we’re going to multiply by -3 again. So it looks like…
Live for Today. Hope for Tomorrow.
Once there was a Chinese farmer who had a horse that he would tend his crops with every morning. One day, out of the blue, the horse ran off. All the villagers approached the farmer and offered their sympathies. “My, what bad luck you’ve had,” they echoe…
Charlie Munger's Final Advice For 2024.
I basically believe in a soldier on system. Lots of hardship will come, and you got to handle it well. I soldering through Charlie Munger, sadly passed away in November 2023, one month shy of his 100th birthday. But in a big stroke of luck for us investor…
How To Get Out Of A Funk | 5 Ways to Escape a Depressive Rut
Depression is a serious mental illness, and I am NOT a doctor, so if you are clinically depressed, get some professional help. But you don’t need to have clinical depression to feel like crap once in a while. In my life, I feel like I’ve lost my mojo, lik…