Berry's Paradox - An Algorithm For Truth
429,988
Published 2021-07-28
Hi! I'm Jade. If you'd like to consider supporting Up and Atom, head over to my Patreon page :)
www.patreon.com/upandatom
Visit the Up and Atom store
store.nebula.app/collections/up-and-atom
Lose at rock paper scissors www.cs.stir.ac.uk/~kms/schools/rps/index.php
Subscribe to Up and Atom for physics, math and computer science videos
youtube.com/c/upandatom
Follow me @upndatom
Up and Atom on Twitter: twitter.com/upndatom?lang=en
Up and Atom on Instagram: www.instagram.com/upndatom/
For a one time donation, head over to my PayPal :) www.paypal.me/upandatomshows
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
youtube.com/c/iamaduo
www.epidemicsound.com/
open.spotify.com/artist/1D30m5UYwgT0W9YzBKYZz7?si=…
Sources and Further Reading
An introduction to Kolmogorov complexity and its applications - Ming Li
Infinity and The Mind - Rudy Rucker
www.lesswrong.com/posts/Kyc5dFDzBg4WccrbK/an-intui…
en.wikipedia.org/wiki/Kolmogorov_complexity
All Comments (21)
-
"Describe yourself" "Too complex for five words."
-
"So it runs the program and returns the result..." Ooohhh it's time for the Halting Problem!
-
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!
-
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.
-
Well. Time to throw away my solomonoff induction script...
-
As a mathematician working in algorithmic information theory, I will definitely be saving this video for the next time I teach an intro course!
-
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.
-
You have a positive vibe gift of explaining things that I have no clue about.. I don't understand half of it but a lot of it sticks too!! Your way of presenting in your videos is so natural.!
-
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
-
I only discovered this amazing lady this year & she is amazing. Absolutly love all her videos. I Thank You
-
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 :)
-
I feel like the paradox / contradictions are only present when we narrow our focus to partial descriptions. Synchronicities seem special when we choose to become inspired by individual facets :) Choosing to become amazed when observations are more/less like a maze. Ur vids are more inspiring than morning coffee
-
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.
-
I bet that one of the dislikes is from David Hilbert
-
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."
-
These videos are insanely valuable! This is only the second one I've seen, and I've already subscribed. Please never stop!!!
-
You: *looking for some universal algorithm or some complete axiom system* Paradox: "Oh hello there!" You: "Oh no!"
-
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
-
The realization you express at 11:05 is really amazing. Thanks!
-
I hit like at the start of your videos in case I forget to do it later, and I've never came close to regret it. In my eyes you're unique in regards to content presented, I love how you're able to fit philosophy beautifully in your math, physics videos.
