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
The Mystery of Synchronous Fireflies - Smarter Every Day 274
Hey, it’s me, Destin. Welcome back to Smarter Every Day. I grew up here in Alabama, like most kids in the area, learning how to catch lightning bugs and putting them in a jar. It’s a magical memory that most of a share. But today, on Smarter Every Day, we…
The Physics Of Basketball | StarTalk
We’re exploring the physics of basketball, featuring my interview with NBA All-Star Kareem Abdul-Jabbar. Check it out. A rebound—in basketball, you have to get a sense of how the thing is going to bounce before the thing makes that bounce so that you can…
Dilution | Intermolecular forces and properties | AP Chemistry | Khan Academy
In this video, we’re going to talk about a concept in chemistry that’s quite important, known as dilutions. So let’s do an example. Let’s say we have a large vat, as much as we need. It’s a one molar solution of sodium sulfate, and it’s an aqueous soluti…
Rewriting expressions with exponents challenge 2 | Algebra 1 (TX TEKS) | Khan Academy
So we have an expression here that has a bunch of exponents in it. It seems kind of complicated, and what I want you to do, like always, is pause this video and see if you can work through this yourself. Essentially, working through this means simplifying…
How to start a one-person business (starting with 0$)
It’s a myth that you need to hire a bunch of people to make money online. Almost everyone can create a successful online business following this five-step framework. And don’t worry, I’m not going to be trying to sell a course on how to make money and cha…
Locked Down? Here's How to Be Free
“The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.” Albert Camus. When our movement is restricted, chances are high that we feel trapped. No matter if we are in prison, in a mental …