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
PEOPLE WHO LIKE TO BE ALONE HAVE THESE 10 SPECIAL PERSONALITY TRAITS | STOICISM INSIGHTS
In a world that never stops talking, where silence is often filled with the next notification, there’s a truth we seldom acknowledge. The loudest moments in our lives are not the ones filled with noise but those heavy with our own thoughts and reflections…
Calculating weights on Mars with if-elif-else | Intro to CS - Python | Khan Academy
Let’s design a program with chain conditionals. We want to build a program that calculates an object’s weight on different planets. We have the formula for this already: weight equals mass times gravity. So, if we know an object’s weight on Earth, we can…
NEW Tudor Watches 2024
Something happens. I don’t, I don’t know what to tell you. It just, in the watch world, when something gets hot, it gets hot, and nobody can really put the finger on why. What’s hotter than Tudor? Nothing! [Music] [Music] [Applause] Okay! Mr. Wonderfu…
10 Proven Ways To Master Your Focus
Your focus is your most valuable asset, right alongside your private data. That’s why billions of dollars are spent every year to make you lose track of time. The whole goal of every social platform is to grab your attention and keep it. Well, in this pro…
Mutation as a source of variation | Gene expression and regulation | AP Biology | Khan Academy
In many videos when we’ve discussed evolution and natural selection, we’ve talked about how variation in a population can fuel natural selection and evolution. So if you have a population of circles, obviously a very simple model here, maybe some of these…
SEC Puts Robinhood on Notice Over Gamestop Ban
[Music] Well guys, we have an update on the Gamestop situation. The SEC, the Securities and Exchange Commission, which is basically like the stock market police over in America, have released a statement recently on the whole Gamestop situation and what …