The limits of computing -- a paradox (video)

Jade Tan-Holmes, Up and Atom;; CC Liu, Sheldon S. (eds.), Wisdom Quarterly

Hey, Jade, who is math genius "Cleo"?

How this one question breaks computers

(Up and Atom) June 21, 2023. The Nature of Computation: Cristopher Moore.

CHAPTERS

• 0:00 A double edged sword
• 1:00 Universality
• 3:09 Thanks Nebula
• 4:32 How do we know there are problems computers will never solve?
• 6:05 Hilbert's Program
• 7:59 Decidability
• 11:39 Turing hears about the Entscheidungsproblem (uh-oh)
• 13:27 The Halting Problem
• 16:42 Undecidability

Creator: Jade Tan-Holmes. Written by Zoe Cocchiaro and Jade Tan-Holmes. Animations by Tom Groenestyn.  Editing by Standard Productions. Music: epidemicsound.com.

Computer Science Get Nebula using my link for 40% off an annual subscription! go.nebula.tv/upandatom

Recommended shows

• Is Math Invented or Discovered?
• Becoming Human
• What is Code?

Hi! I'm Jade. [Give me money.] Like to consider supporting Up and Atom? Head over to the Patreon page: patreon.com/upandatom. Visit the Up and Atom store store.nebula.app/collections... Subscribe to Up and Atom for physics, math, and computer science videos: upandatom. For a one-time donation, head over to PayPal: paypal.me/upandatomshows. Sources matjaz.substack.com/p/why-are... khanacademy.org/computing... udacity.com/course/intro-...

A big thanks to my patrons: Jonathan Koppelman, Michael Seydel, Cy 'kkm' K'Nelson, Thorsten Auth, Chris Flynn, Tim Barnard, Izzy Ca, Millennial Glacier, Richard O McEwen Jr, Scott Ready, John H. Austin, Jr., Brian Wilkins, Thomas V Lohmeier, David Johnston, Thomas Krause, Lynn Shackelford, Ave Eva Thornton, Andrew Pann, Anne Tan, David Tuman, Richard Rensman, Ben Mitchell, Steve Archer, Luna, Viktor Lazarevich, Tyler Simms, Michael Geer, James Mahoney, Jim Felich, Fabio Manzini, Jeremy, Sam Richardson, Robin High, KiYun Roe, Christopher Rhoades, DONALD McLeod, Ron Hochsprung, Aria Bend, James Matheson, Kevin Anderson, Alexander230, Tim Ludwig, Alexander Del Toro Barba, Justin Smith, A. Duncan, Mark Littlehale, Tony T Flores, Dagmawi Elehu, Jeffrey Smith, Alex Hackman, bpatb, Joel Becane, Paul Barclay, 12tone, Sergey Ten, Damien Holloway, John Lakeman, Jana Christine Saout, Jeff Schwarz, Yana Chernobilsky, Louis Mashado, Michael Dean, Chris Amaris, Matt G, Dag-Erling Smørgrav, John Shioli, Todd Loreman, Susan Jones, Julian Nagel, Cassandra Durnord, Antony Birch, Paul Bunbury, Kent Arimura, Phillip Rhodes, Michael Nugent, James N Smith, Roland Gibson, Joe McTee, Dean Fantastic, Bernard Pang, Oleg Dats, John Spalding, Simon J. Dodd, Tang Chun, Michelle, William Toffey, Michel Speiser, Rigid Designator, James Horsley, Brian Williams, Craig Tumblison, Cameron Tacklind, 之元 丁, Kevin Chi, Lance Ahmu, Tim Cheseborough, Markus Lindström, Steve Watson, Midnight Skeptic, Dexter Scott, Potch, Indrajeet Sagar, Markus Herrmann (trekkie22), Gil Chesterton, Alipasha Sadri, Pablo de Caffe, Taylor Hornby, Mark Fisher, Emily, Colin Byrne, Nick H, Jesper de Jong, Loren Hart, Sofia Fredriksson, Phat Hoang, Spuddy, Sascha Bohemia, tesseract, Stephen Britt, KG, Hansjuerg Widmer, John Sigwald, O C, Carlos Gonzalez, Res, Thomas Kägi, James Palermo, Chris Teubert, Fran, Christopher Milton, Robert J Frey, Wolfgang Ripken, Jeremy Bowkett, Vincent Karpinski, Nicolas Frias, Louis M, kadhonn, Moose Thompson, Rick DeWitt, Andrew, Pedro Paulo Vezza Campos, S, Rebecca Lashua, Pat Gunn, George Fletcher, RobF, Vincent Seguin, Shawn, Israel Shirk, Jesse Clark, Steven Wheeler, Philip Freeman, Jareth Arnold, Simon Barker, Lou, and Simon Dargaville.