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
Intro to determinant notation and computation | Matrices | Precalculus | Khan Academy
In this video, we’re going to talk about something called determinants of matrices. So I’ll start just telling you the notation and how do you compute it, and then we’ll think about ways that you can interpret it. So let’s give ourselves a 2 by 2 matrix …
Jesus Christ and Christianity | World History | Khan Academy
We’re now going to talk about the beginnings of one of the most important religions in human history, and even today the largest religion on earth, and that of course is Christianity. The central figure in Christianity is Jesus Christ, and the term “Chris…
Deficits and debt | AP Macroeconomics | Khan Academy
Two terms that you’ve likely heard in the context of government spending, budgets, and borrowing are the terms deficit and debt. They can get a little bit confusing because they’re associated with borrowing in budgets and spending, and they both start wit…
RIDDLE CHALLENGE - 54321 #2
Vsauce. Five riddles. Four brand names. Three facts. Two weird products and one project. It’s 5432 - One project from Instructables. Turn your Super Nintendo into an ultimate gaming console emulator that plays NES, Genesis, N64 and more. You’ll need abou…
Artificial Intelligence - Mind Field (Ep 4)
When she said, “I love you, Harold”… Mm-hmm. What did you say back? Obviously, “I love you too.” Yeah? This is Harold. Harold and I are talking about his girlfriend, Monica. Who said it first, you or her? She said it to me. How’d it feel? It was …
Taoist Wisdom For Inner Peace
Taoism is an ancient Chinese mystical, philosophical, and religious tradition that emphasizes living in agreement with the Tao. The main work in Taoism is the Tao Te Ching, created by a mysterious author called Lao Tzu, which contains profound wisdom and …