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
Office Hours with Adora Cheung
Alright, hey everyone! Today we have Dore Chun. She’s a YC partner and co-founder of Homejoy. Thank you! How’s it going? Good, how are you? Good! Alright, we’re gonna do some office hour questions from the internet, so let’s go! Cool! So first question…
Desert Monster Tries to Survive in the American Southwest | National Geographic
The Gila monster is the most charismatic reptile we have in Arizona, for sure. We have seen temperatures increasing in the Tucson area. Gila monsters, you know, depend on humidity, and if humidity goes down lower earlier in the season, that could affect t…
Humans Are Exceptional
Three out of these four theories have an interesting pattern to them, with good explanations in epistemology. We’re saying conjectures and their refutations, and error correction is how we improve knowledge. With genetic evolution, genetic mutations, vari…
Steve Jobs Secrets of Life
The thing I would say is when you grow up, you tend to get told that the world is the way it is and your life is just to live your life inside the world. Try not to bash into the walls too much. Uh, try to have a nice family life, have fun, save a little …
Reading inverse values from a table | Composite and inverse functions | Precalculus | Khan Academy
We’re told the following table shows a few inputs and outputs of function g. All right, we have some possible inputs here for x and then the corresponding outputs here g of x. What is the value of g inverse of 54? So pause this video and see if you can fi…
How To Deal With Setbacks
It’s like saying that you want to be a boxer, but like after you get really good at boxing, you’ll never have to take a punch again. It’s like, no, the sport, people, that’s the sport of the game we’re playing. All right, this is Michael Seibel with Dalt…