Experience fast, AI-driven summaries of YouTube videos. Get summaries and segmented highlights in under a minute. Save time, grasp key contents effortlessly!
© 2025
Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the modern computer. This video is sponsored by Brilliant. The first 200 people to sign up via https://brilliant.org/veritasium get 20% off a yearly subscription. Special thanks to Prof. Asaf Karagila for consultation on set theory and specific rewrites, to Prof. Alex Kontorovich for reviews of earlier drafts, Prof. Toby ‘Qubit’ Cubitt for the help with the spectral gap, to Henry Reich for the helpful feedback and comments on the video. ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ References: Dunham, W. (2013, July). A Note on the Origin of the Twin Prime Conjecture. In Notices of the International Congress of Chinese Mathematicians (Vol. 1, No. 1, pp. 63-65). International Press of Boston. — https://ve42.co/Dunham2013 Conway, J. (1970). The game of life. Scientific American, 223(4), 4. — https://ve42.co/Conway1970 Churchill, A., Biderman, S., Herrick, A. (2019). Magic: The Gathering is Turing Complete. ArXiv. — https://ve42.co/Churchill2019 Gaifman, H. (2006). Naming and Diagonalization, from Cantor to Godel to Kleene. Logic Journal of the IGPL, 14(5), 709-728. — https://ve42.co/Gaifman2006 Lénárt, I. (2010). Gauss, Bolyai, Lobachevsky–in General Education?(Hyperbolic Geometry as Part of the Mathematics Curriculum). In Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture (pp. 223-230). Tessellations Publishing. — https://ve42.co/Lnrt2010 Attribution of Poincare’s quote, The Mathematical Intelligencer, vol. 13, no. 1, Winter 1991. — https://ve42.co/Poincare Irvine, A. D., & Deutsch, H. (1995). Russell’s paradox. — https://ve42.co/Irvine1995 Gödel, K. (1992). On formally undecidable propositions of Principia Mathematica and related systems. Courier Corporation. — https://ve42.co/Godel1931 Russell, B., & Whitehead, A. (1973). Principia Mathematica [PM], vol I, 1910, vol. II, 1912, vol III, 1913, vol. I, 1925, vol II & III, 1927, Paperback Edition to* 56. Cambridge UP. — https://ve42.co/Russel1910 Gödel, K. (1986). Kurt Gödel: Collected Works: Volume I: Publications 1929-1936 (Vol. 1). Oxford University Press, USA. — https://ve42.co/Godel1986 Cubitt, T. S., Perez-Garcia, D., & Wolf, M. M. (2015). Undecidability of the spectral gap. Nature, 528(7581), 207-211. — https://ve42.co/Cubitt2015 ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ Special thanks to Patreon supporters: Paul Peijzel, Crated Comments, Anna, Mac Malkawi, Michael Schneider, Oleksii Leonov, Jim Osmun, Tyson McDowell, Ludovic Robillard, Jim buckmaster, fanime96, Juan Benet, Ruslan Khroma, Robert Blum, Richard Sundvall, Lee Redden, Vincent, Marinus Kuivenhoven, Alfred Wallace, Arjun Chakroborty, Joar Wandborg, Clayton Greenwell, Pindex, Michael Krugman, Cy 'kkm' K'Nelson, Sam Lutfi, Ron Neal ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ Executive Producer: Derek Muller Writers: Adam Becker, Jonny Hyman, Derek Muller Animators: Fabio Albertelli, Jakub Misiek, Ivy Tello, Jonny Hyman SFX & Music: Jonny Hyman Camerapeople: Derek Muller, Raquel Nuno Editors: Derek Muller Producers: Petr Lebedev, Emily Zhang Additional video supplied by Getty Images Thumbnail by Geoff Barrett ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀
From the US to Japan, governments are having to pay investors more to get them to lend money by buying bonds. Now countries everywhere are pulling back on issuing longer-term debt. Washington is having to pay the highest interest rate in almost 18 years for 30-year bonds, while Japan and the UK face the highest rates in decades. Germany and Australia are also having to put up more to raise money. Indeed, countries from Austria to the UK are pulling back on issuing 50-, 70- and 100-year bonds just a few years after investors couldn’t get enough of them. -------- Like this video? Subscribe: http://www.youtube.com/Bloomberg?sub_confirmation=1 Get unlimited access to Bloomberg.com for $1.99/month for the first 3 months: https://www.bloomberg.com/subscriptions?in_source=YoutubeOriginals Bloomberg Originals offers bold takes for curious minds on today’s biggest topics. Hosted by experts covering stories you haven’t seen and viewpoints you haven’t heard, you’ll discover cinematic, data-led shows that investigate the intersection of business and culture. Exploring every angle of climate change, technology, finance, sports and beyond, Bloomberg Originals is business as you’ve never seen it. Subscribe for business news, but not as you've known it: exclusive interviews, fascinating profiles, data-driven analysis, and the latest in tech innovation from around the world. Visit our partner channel Bloomberg News for global news and insight in an instant.
🔧 ¿Te gustaría que tu cliente pudiera elegir qué contenidos mostrar en la Home de su web... sin romper nada? En este tutorial te enseño cómo crear una página de opciones en WordPress con JetEngine para que el cliente tenga el control de su portada sin tocar el diseño ni el constructor visual. Ideal si haces webs a medida, usas Bricks, Elementor, Gutenberg o cualquier tema con lógica modular. 🎓 APRENDE Y ÚNETE A MI COMUNIDAD DE PROFESIONALES: https://lamaquinadelbranding.com 💙 Soy EMBAJADOR de MARCA de Raiola Networks, por lo que a partir de ahora, si necesitáis un hosting PROFESIONAL y además montado por gente de puta madre, aquí tenéis mi recomendación y mi enlace: https://lamaquinadelbranding.com/raiola 🔥 DESCUENTO DEL 10% EN CROCOBLOCK Y JET PLUGINS: https://lamaquinadelbranding.com/croco 🛒 MIS LINKS Y DESCUENTOS: https://lamaquinadelbranding.com/recomendados/ ✅ NO TE PIERDAS NINGÚN VÍDEO https://www.youtube.com/channel/UCGegFMGDweSDg2QztyKmtNw?sub_confirmation=1
Git and Github Check out our courses: AI Powered DevOps with AWS - Live Course :- https://go.telusko.com/AIDevOps-AWS Coupon: TELUSKO10 (10% Discount) Complete Java Developer Course Batch-4: https://go.telusko.com/Complete4 Coupon: TELUSKO10 (10% Discount) Master Java Spring Development : https://go.telusko.com/masterjava Coupon: TELUSKO20 (20% Discount) Udemy Courses: Spring: https://go.telusko.com/udemyteluskospring Java:- https://go.telusko.com/udemyteluskojava Java Spring:- https://go.telusko.com/Udemyjavaspring Java For Programmers:- https://go.telusko.com/javaProgrammers Python : https://go.telusko.com/udemyteluskopython Git : https://go.telusko.com/udemyteluskogit Docker : https://go.telusko.com/udemyteluskodocker For More Queries WhatsApp or Call on : +919008963671 website : https://courses.telusko.com/ 00:00:00 git Intro 00:01:23 git version control 00:08:40 history of git 00:12:07 git Setup 00:19:52 git Init 00:29:05 git commit 00:38:31 skipping the staging area 00:43:21 git diff command 00:46:41 git remove file 00:52:11 github repository 01:11:10 adding files to remote repository 01:16:49 working with tags 01:25:43 clone a project 01:34:54 git branch create 01:44:25 git delete branch 01:46:55 branch pushing to remote repository 01:50:14 branch-how it works 01:56:05 git merge website : https://courses.telusko.com/ Instagram : https://www.instagram.com/navinreddyofficial/ Linkedin : https://in.linkedin.com/in/navinreddy20 TELUSKO Android App : https://bit.ly/TeluskoApp Discord : https://discord.gg/D8hWe9BqfF