New video! Why it took 379 pages to prove 1+1=2 (Patreon)

Why it took 379 pages to prove 1+1=2

Sign up to Brilliant to receive a 20% discount with this link! https://brilliant.org/upandatom/ Hi! I'm Jade. If you'd like to consider supporting Up and Atom, head over to my Patreon page :) https://www.patreon.com/upandatom Visit the Up and Atom store https://store.nebula.app/collections/up-and-atom Subscribe to Up and Atom for physics, math and computer science videos https://www.youtube.com/c/upandatom Russell's Paradox video: https://youtu.be/xauCQpnbNAM 0:00 Intro 0:52 All was well in the land of math 1:39 Oh no! Trouble is brewing 3:47 The heroes of the story 5:06 Principia Mathematica 5:49 Logic 7:42 Formal Systems 9:52 Struggles :( 11:49 Ideas in 1+1=2 14:26 Failure 15:04 Sponsor *Follow me* @upndatom Up and Atom on Twitter: https://twitter.com/upndatom?lang=en Up and Atom on Instagram: https://www.instagram.com/upndatom/ For a one time donation, head over to my PayPal :) https://www.paypal.me/upandatomshows *A big thank you to my AMAZING PATRONS!* Jonathan Koppelman, Michael Seydel, Cy 'kkm' K'Nelson , Rick DeWitt, Thorsten Auth , Purple Penguin , AndrewA, Izzy Ca, Richard O McEwen Jr, Scott Ready, John H. Austin, Jr. , Brian Wilkins, Thomas V Lohmeier, David Johnston , Thomas Krause , Yana Chernobilsky, Lynn Shackelford, Ave Eva Thornton, Andrew Pann, Anne Tan , Keith Lazarus, Tyler Simms, Michael Geer, Daniel Quinn, James Mahoney, Jim Felich, Fabio Manzini, Jeremy, Sam Richardson, Robin High, KiYun Roe, Christopher Rhoades, DONALD McLeod, Ron Hochsprung, OnlineBookClub.org, Aria Bend, James Matheson, Robert A Sandberg, Kevin Anderson, Alexander230, Michael Martin, Tim Ludwig, Alexander Del Toro Barba, Corey Girard, Justin Smith, Emily, A. Duncan, Mark Littlehale, Lucas Alexander, Tony T Flores, Jeffrey Smith , Alex Hackman , bpatb, Joel Becane, Michael Hunter , Paul Barclay, 12tone, Sergey Ten, Damien Holloway, Mikely Whiplash , John Lakeman , Jana Christine Saout , Jeff Schwarz , Michael Dean , Chris Amaris, Matt G , Dag-Erling Smørgrav , John Shioli , Todd Loreman , Susan Jones, whatguts, René Pasold, Simon J. Dodd, Tang Chun, Michelle, Richard Vallender, jake h, William Toffey, Michel Speiser, Rigid Designator, James Horsley, Bryan Williams, Craig Tumblison, Cameron Tacklind, 之元 丁, Kevin Chi, Paul Blanchard, Lance Ahmu, Tim Cheseborough, Nico Papanicolaou, keine, Markus Lindström, Steve Watson, Midnight Skeptic, Kyle Higgins, aeidolos, Mike Jepson, Dexter Scott, Potch, Indrajeet Sagar, Markus Herrmann (trekkie22), Gil Chesterton, Alipasha Sadri, Pablo de Caffe, Taylor Hornby, Mark Fisher, Colin Byrne, Nick H, Jesper de Jong, Loren Hart, Sofia Fredriksson, Phat Hoang, Spuddy, Sascha Bohemia, tesseract, Stephen Britt, KG, Dagmawi Elehu, Hansjuerg Widmer, John Sigwald, O C, Carlos Gonzalez, Jonathan Ansell, Thomas Kägi, James Palermo, Gary Leo Welz, Chris Teubert, Fran, Robert J Frey, Wolfgang Ripken, Jeremy Bowkett, Vincent Karpinski, Nicolas Frias, Louis M, kadhonn, Moose Thompson, Andrew, S, Sam Ross, Garrett Chomka, Bobby Butler, Rebecca Lashua, Pat Gunn, George Fletcher, RobF, Vincent Seguin, Shawn, Israel Shirk, Jesse Clark, Steven Wheeler, Philip Freeman, Jareth Arnold, Simon Barker, Lou, amcnea, Simon Dargaville, and Magesh. Creator - Jade Tan-Holmes Animations - Tom Groenestyn Music - epidemic sound