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
This Thing is Crazy Fast - Kodak Part 3- Smarter Every Day 286
Hey, it’s me, Destin. Welcome back to Smarter Every Day. This… [KA-CHUNK, KA CHUNK] [JET ENGINE NOISES] [CHU-KUH, CHU-KUH] [KER-FLOP] [DING!] is at the Kodak Film Factory in Rochester, New York. The fact that we get to film in the plant is amazing. This i…
Nearly 100 Captive Orcas and Belugas at Risk of Drowning, Freezing to Death | National Geographic
This video from November 2018 shows a holding facility near the small Russian town of Nicosia, where government officials are investigating the capturing and exporting of wild beluga whales and orcas. This is footage of the same facility taken in January …
Real Estate Agent Live Call: Step by Step Listing Presentation 101
It’s not so much about even the marketing, but also the agent and how motivated they are to sell it. You can explain to her, if she says how many other homes would be sold, how long have you been doing this, stuff like that. You could just be honest there…
The First Meeting of EDUtubers! ft. CGPGrey, Vsauce, Smarter Every Day, Numberphile +more
Hey, Veritasium! Michael [Stevens] from Vsauce here, and we’re gonna ask some important questions. Let’s find some random bystanders…how about you? Yes? Michael: I don’t believe you’re scientifically literate. Okay. Michael: If a tomato is a fruit, do…
Exclusive: Matt Damon Gets Emotional About Global Water Crisis | National Geographic
So let’s just have a fun conversation about poop, okay? Because how else does one really talk about this? It strikes me, in our trying to report this story, photograph this story, and write about it that one of the big issues is it’s a hard thing to talk …
Jessica Livingston : How to Build the Future
Hi everyone, my name is Sam Alman and this is how to build the future. Today, our guest is Jessica Livingston, the founder of Y Combinator, where I now work. Y Combinator has funded 1,500 startups and they’re worth more than $70 billion in total. More tha…