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
GPT-4o (Omni) math tutoring demo on Khan Academy
Hi, my name is Sal Khan. I’m the founder of Khan Academy, and I’m also the author of a new book about artificial intelligence and education called “Brave New Words.” OpenAI invited myself and my son, Imran, here to try out some of their new technology. So…
Length word problem example
We’re told that Pilar has 85 inches of ribbon. She gives her friend Nico 19 inches of ribbon. How much ribbon does Pilar have left? Pause this video and see if you can figure that out. All right, now let’s do it together. So Pilar is starting with 85 inc…
You Have to Protect Your House! | Life Below Zero
You don’t know when something unique is going to happen out here, but you better be on your toes. There he is, he’s on top of my Ridge now. After a brief stay in Dead Horse, SE has returned home to find a Wolverine lurking around CIC’s perimeter. To prot…
Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & Humanity | Lex Fridman Podcast #452
If you extrapolate the curves that we’ve had so far, right? If you say, well, I don’t know, we’re starting to get to like PhD level and last year we were at undergraduate level, and the year before we were at like the level of a high school student. Again…
The Best Way to Move Mountain Goats? Helicopters. | National Geographic
[Music] [Applause] [Music] So the way we catch goats is we don’t tranquilize them at all. They just, what they do is they take a helicopter and they fly until they find a goat. They can have it in an area that’s relatively flat; they can catch it, and the…
A productive day in my life: Packing and moving abroad 🇮🇹
This video is sponsored by Japanese monthly subscription box Sakurako. Hi guys, it’s me Dudi! For those who are not familiar with this channel, I’m about to become a medical student in Italy. Actually, my med school has already started, and I’m supposed …