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
Lecture 4 - Building Product, Talking to Users, and Growing (Adora Cheung)
Thanks for having me. Um, so today I am going to be talking about how to go from zero users to many users. Um, uh, I’m just assuming that you have many great ideas in your head at this moment, and um, you’re kind of thinking about what the next step is. S…
Biology overview
[Voiceover] I would like to welcome you to Biology at Khan Academy. And biology, as you might know, is the study of life. And I can’t really imagine anything more interesting than the study of life. And when I say “life,” I’m not just talking about us, h…
Evicting Tenants - My Thoughts
What’s up, guys? It’s Graham here. So I want to take a moment to talk about something serious. Whether or not this affects you, I think this is something worth knowing about and discussing further. That would be the upcoming wave of evictions and mortgag…
Comparison: Rise of empires | World History | Khan Academy
What we’re going to do in this video is think about the rise of empires and make the comparison with four very early empires that we have studied: Achaemenid Persia, the Maurya Empire in India, Han China, and the Roman Empire. So let’s just start with a …
Indefinite Pronouns | The parts of speech | Grammar | Khan Academy
Hey grammarians! Today, I want to talk about the idea of the indefinite pronoun, which looks kind of complicated, but really just does what it says on the tin. An indefinite pronoun is just that: it’s indefinite, undefined, uncertain. These are pronouns t…
Saving Sea Turtles in the Solomon Islands | Short Film Showcase
[Music] [Music] [Music] The first time I came here was in 2001, and it was just like yesterday. The first time I arrived here, I was so, so amazed that nature came so, so close, and so it really touches [Music] me. There are two species of sea turtles …