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
No Truth Can Be Justified
The initial guesses at what knowledge was all about amounted to what is known as the justified true belief vision of knowledge, and it’s still the most prevalent idea today. Anyone who calls themselves a Bayesian is a justified true believer, and that’s t…
The Backwards Brain Bicycle - Smarter Every Day 133
Hey, it’s me Destin. Welcome back to Smarter Every Day. You’ve heard people say, “It’s just like riding a bike,” meaning it’s really easy and you can’t forget how to do it, right? But I did something. I did something that damaged my mind. It happened on t…
My Real Estate Prediction for 2019...
What’s up you guys? It’s Graham here. So I hope you’re sitting down, because we’re gonna be having a very serious talk today about what’s happening in the real estate market; some of the things that you should be watching out for and what I think is gonna…
Ellipse standard equation from graph | Precalculus | High School Math | Khan Academy
So we have an ellipse graph right over here. What we’re going to try to do is find the equation for this ellipse. So like always, pause this video and see if you can figure it out on your own. All right, so let’s just remind ourselves of the form of an e…
Worked example: Calculating partial pressures | AP Chemistry | Khan Academy
We’re told that a 10 liter cylinder contains 7.60 grams of argon in gas form and 4.40 grams of molecular nitrogen, once again in gas form at 25 degrees Celsius. Calculate the partial pressure of each gas and the total pressure in the cylinder. Alright, s…
Possession for words ending in “s” | The Apostrophe | Punctuation | Khan Academy
Hello Garans, hello Paige, hi David. So, we’re talking about possession for names or words ending in the letter S. So, there’s some confusion, I think, about what to do if you’ve got to make someone’s name possessive if their name ends in an S. Like, for …