Berry's Paradox - An Algorithm For Truth

Hi! I'm Jade. If you'd like to consider supporting Up and Atom, head over to my Patreon page :)

Visit the Up and Atom store

Subscribe to Up and Atom for physics, math and computer science videos

*Follow me* @upndatom

*A big thank you to my AMAZING PATRONS!*
Lucas Alexander,
Michael Seydel,
Brian Wilkins
, Cy 'kkm' K'Nelson
, Thorsten Auth
, Purple Penguin
, bpatb
, Chris Flynn
, Scott Ready,
Izzy Ca
, Sofia Fredriksson
, John H. Austin, Jr.
, David Johnston
, Rick DeWitt,
Thomas Krause
, Yana Chernobilsky,
Lynn Shackelford, Adam Thornton,
Andrew Pann,
Anne Tan
, Jan Gallo,
Drew Hart
, Tony T Flores,
Russell Barlow
, Jeffrey Smith
, Brian Kent
, Robert Hillier
, Aaron Moffatt
, Alex Hackman
, Thomas V Lohmeier
, Joel Becane,
eris esoteric
, Artem G.
, Michael Hunter
, Paul Barclay, 12tone,
Zhong Cheng Wang,
Damien Holloway,
Mikely Whiplash
, John Lakeman
, Jana Christine Saout
, Jeff Schwarz
, George Fletcher,
Louis Mashado,
Michael Dean
, Chris Amaris,
Matt G
, KhAnubis,
Broos Nemanic
, Dag-Erling Smørgrav
, John Shioli
, Joe Court
, Todd Loreman
, Susan Jones, Rudy Nyhoff, Colin Byrne, Nick H, Dr Andy Hill, Michael Miller, Jesper de Jong, Michael Lavin, Loren Hart, Ari Prasetyo, Duncan Adamson, Phat Hoang, Spuddy, Josh Bauer, Sascha Bohemia, tesseract, Stephen Britt, Will Miller, Dagmawi Elehu, Hansjuerg Widmer, John Sigwald, Carlos Gonzalez, Jonathan Ansell, Arsalan Noorafkan, Thomas Kägi, Courtney Rosenthal, James Palermo, Dominic Riverso, Jeroen Melchiors, Gary Leo Welz, Andrej Zon, Chris Teubert, Dylan Kolstad, Fran, Joe, John Sokolowski, Robert J Frey, The Doom Merchant, Wolfgang Ripken, Jeremy Bowkett, Vincent Karpinski, Nicolas Frias, Christopher Phipps, Louis M, kadhonn, Moose Thompson, Hal Roseman, Austin Rose, Andrew, John Klinkner, S, Rob Napier, Sam Ross, Peter Walsh, Garrett Chomka, Bobby Butler, Rebecca Lashua, Pat Gunn, Luc Ritchie, Elze Kool, RobF, Aditya Anantharaman, Frédéric Junod, Vincent Seguin, Bernard Wei, Help I'm trapped in a driver's license factory Roberts, Shawn, Israel Shirk, Ken Takahashi, Jesse Clark, Steven Wheeler, Philip Freeman, Jareth Arnold, Simon Barker, Dennis Haupt, Lou, amcnea, Renato Pereira, Simon Dargaville,and Magesh


*Creator*
Jade Tan-Holmes

*Animations*
Tom Groenestyn

*Sound Design and Music*
Junior Arruda

*Sources and Further Reading*
An introduction to Kolmogorov complexity and its applications - Ming Li
Infinity and The Mind - Rudy Rucker

[frenstcht]

"Describe yourself"
"Too complex for five words."

[EternalDensity]

"So it runs the program and returns the result..."
Ooohhh it's time for the Halting Problem!

[RobertMilesAI]

Well. Time to throw away my solomonoff induction script...

[ryanmccampbell]

You came *this close* 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!

[BubaMeyer]

I bet that one of the dislikes is from David Hilbert

[allanlees]

Occam's Razor is best expressed in words as "an explanation must be as complex as is necessary to explain a given phenomenon, but not any more complex than that." In other words, it's not "the simplest idea is the best" but rather "the idea that has no unnecessary elaborations or assumptions is most likely to be the best description of how the phenomenon is generated."

[domainofscience]

This was so good! I learned loads and yeah, really fascinating journey, darned uncomputableness. Also, I love your animations, the characters are brilliant.

[EpicHobbyist]

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.

[MedlifeCrisis]

You know Jade, it's unkind to make jokes about shaving. Some of us have to do it four times a day.

[thetungwakou]

POV: you’re a computer, but they won’t stop asking you philosophy questions.

[rentristandelacruz]

You: **looking for some universal algorithm or some complete axiom system**
Paradox: "Oh hello there!"
You: "Oh no!"

[annannz]

This is my first time watching your videos, and this might be my favorite educational video among thousands of amazing ones I watched on Youtube. I've recently been trying to produce these kind of videos in my leisure time, but there are so much technical difficulties it frustrated me a bit. I just hope one day I can make something good like this. Thanks for the inspiration.

[RealHypeFox]

A minute in and I guess existential dread is what I’m doing this morning, lol!

Always a pleasure to see your videos.

[lunarpassion]

"I took out the first 99, so it wouldn't be obvious for the mathematicians out there"

That was a sucker punch!

[IndurOutdoor]

I only discovered this amazing lady this year & she is amazing. Absolutly love all her videos. I Thank You

[TIOS]

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.

[anujarora]

My psychiatrist: Jade with a shaving cream on her face doesn't exist and can't hurt you
Jade with a shaving cream on her face: 6:52

[additionaddict]

Jade: What' the biggest number you can think of?
Me: 6

[Adraria]

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

[naderchmait]

This is a fantastic video. Finally someone giving credit to Solomonoff's original work! Worth mentioning Levin's Kt complexity (Levin Search) which is a time-bounded version of Algorithmic/Kolmogorov complexity to go around un-computability. Please continue making such great videos :)