Berry's Paradox - An Algorithm For Truth
512K views · Jul 28, 2021 · Science & Technology
Comments · 2.1K
@EternalDensity · 5 years ago
"So it runs the program and returns the result..."<br>Ooohhh it's time for the Halting Problem!
127
@frenstcht · 5 years ago
"Describe yourself"<br>"Too complex for five words."
278
@TIO540S1 · 4 years ago
It’s amazing that Kolmogorov is mentioned only rarely, if at all, in online discussions of the greatest mathematicians. His name appears so often at such a high level in so many fields that he’s nearly unique. Among these are probability, logic, topology, fluid mechanics, and others.
50
@ryanmccampbell7 · 5 years ago
You came <b>this close</b> to making a link between the halting problem and berry's paradox, which I've never thought of before. Would be cool to link this to Godel's Incompleteness theorem too. Great video!
144
@EpicHobbyist · 4 years ago
I think you don’t even need to go as deep as you did to find it impossible. Wouldn’t the halting problem make FindShortestString impossible before even getting to Berry’s Paradox? Once FindShortestString reaches code that loops infinitely, it could never proceed, since it would be impossible to tell if the code would be looping forever (so neither a right or wrong output string, just no output) or if it would just be running for a really really long time.
8
@Adraria8 · 5 years ago
Seems like that FindShortestString program wouldn’t work because of the halting problem. It would eventually come across a program string that it couldn’t tell if it halts or not
67
@jdwebb42 · 5 years ago (edited)
As a mathematician working in algorithmic information theory, I will definitely be saving this video for the next time I teach an intro course!
221
@RobertMilesAI · 5 years ago
Well. Time to throw away my solomonoff induction script...
157
@thetungwakou · 5 years ago
POV: you’re a computer, but they won’t stop asking you philosophy questions.
13
@Ahsantarique · 4 years ago
@<a href="https://www.youtube.com/watch?v=FDXf1XxCXAk&t=290">4:50</a> is my favorite expression.
2
@rentristandelacruz · 5 years ago
You: <b>*looking for some universal algorithm or some complete axiom system*</b><br>Paradox: "Oh hello there!"<br>You: "Oh no!"
138
@kyransoriano3527 · 5 years ago
I have class in 4 hours and I haven't slept yet but I will watch this video because Jade teaches physics like no other.
53
Up next
The Infinity Problem that BROKE Mathematics (The Continuum Hypothesis)
Up and Atom · 339K views
Can You Guess How This Math Sequence Ends?
Up and Atom · 233K views
Pure Information Gives Off Heat
Up and Atom · 492K views
This Paradox Has a Huge Flawed Premise
Wrath of Math · 17K views
There is No Algorithm for Truth - with Tom Scott
The Royal Institution · 2.7M views
The paradox at the heart of AI and science | Terence Tao
Big Think Clips and Big Think · 2.2M views
No, AI Isn’t Conscious; It’s Actually Much Worse | AI Scientist
Decoded Genius Clips · 2.6M views
NP-COMPLETENESS, a conceptual understanding
Up and Atom · 514K views
The Two Envelope Problem - a Mystifying Probability Paradox
Formant · 614K views
3 Physics Paradoxes That Feel Like a Glitch in Reality
Up and Atom · 308K views
Amateurs Just Solved a 30-Year-Old Math Problem
Up and Atom · 343K views
Like Sabine Hossenfelder, I Was Offered Money to Tell You AI Will Kill Us
House of El: AI · 520K views
These 17 Paradoxes Will Change How You See the Universe
Up and Atom · 1M views
Millennium Problems: Math’s Million Dollar Bounties
Sideprojects · 181K views
Yuval Noah Harari's really awful history
The Burning Archive · 369K views
This is What Really Happens to Russia When Putin Loses | Sarah Paine
Pyotr Kurzin | Geopolitics and Pyotr Kurzin | Clips · 907K views
The Problem With Sabine Hossenfelder
Professor Dave Explains · 1.3M views
The Banach–Tarski Paradox
Vsauce · 48M views
The 379 page proof that 1+1=2
Up and Atom · 1.2M views
Braess's Paradox - Equilibria Gone Wild
Up and Atom · 537K views
The Hidden Structure of Rule 30
Eric Rowland · 255K views
The Closest Thing We Have to Alien Technology
Veritasium · 59M views
Ex-Anthropic insider tells CNN how AI could kill all humans by 2030
CNN · 9.8M views
Russell's Paradox - a simple explanation of a profound problem
Jeffrey Kaplan · 10M views
Aristotle's Wheel Paradox - To Infinity and Beyond
Up and Atom · 2.8M views
Logic at its Limit: The Grelling-Nelson Paradox
Dialect · 408K views