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
High on Life': San Francisco’s Skaters Get Groovy | Short Film Showcase
There’s never a moment where I feel satisfied with skating. It’s always in you, and then when you find, when you take the skates off, you move through life skating. When I come out here to skate, I come out here to find this other space that’s just incred…
The Stock Market is EASY MONEY | DO THIS NOW
What’s up guys, it’s Graham here. So there’s always one thing that I mention here non-stop on the channel, so much so that I’m sure many of you guys are tired of me saying it. And no, it’s not me asking you to smash the like button for the YouTube algori…
Mitigation and Adaptation: Human Stories of Hope | Explorers In The Field
(soothing guitar music) Climate change is a human story. The causes of climate change are man-made, and the solutions must be man-made. How much of the landscape— In order to reduce climate change, in order to adapt to these changes and to mitigate our i…
Why The Market Hasn't Crashed Yet
What’s up, Grandma’s guys? Here, so we gotta be really, really careful not to blink because if you do, whoops! There you go; you missed the latest market crash, and, uh, now we’re back at another all-time high. Better luck next time! All right, I know I’…
Fermat's Library Cofounders João Batalha and Luís Batalha
You guys are brothers, right? Yeah, yeah. Okay, he’s the older one. I’m two years younger. Okay, and what made you want to start for Matt’s library? Oh, so just for the people that don’t know what it is, Vermont is a platform for annotating papers. If…
Staying in the Lines | Rocky Mountain Law
Have you had anything to drink at all in the last 24 hours? No. Okay, have you had any drugs or anything at all in the last 24 hours? Okay, what’s your native language that you speak? Uh, Pabi. And you understand English? Yeah, for the most part. Very muc…