L13: Diagonalization, Countability and Uncountability Share: Download MP3 Similar Tracks L19: Uncomputable Functions, and Introduction to Complexity UC Davis L17: Using Reductions to Prove Language Undecidable UC Davis L16: Unrecognizable Languages and Reductions UC Davis The Man Who Almost Broke Math (And Himself...) Veritasium The Continuum Hypothesis - The Problem that BROKE Mathematics Up and Atom Olympiad level counting (Generating functions) 3Blue1Brown Prof. Judy Fan: Cognitive Tools for Making the Invisible Visible MIT Quest for Intelligence L15: Proof by Diagonalization that ATM (Halting Problem) is Not Decidable UC Davis 30 Brilliant Moves IN A ROW GothamChess Manipulation Expert: How to Control Any Conversation and Read Their Mind Instantly! Jack Neel 4 Hours Chopin for Studying, Concentration & Relaxation HALIDONMUSIC The Langlands Program - Numberphile Numberphile Group theory, abstraction, and the 196,883-dimensional monster 3Blue1Brown The SAT Question Everyone Got Wrong Veritasium The Most Misunderstood Concept in Physics Veritasium Lecture 36/65: Infinity: Countable and Uncountable hhp3 This open problem taught me what topology is 3Blue1Brown L11: Church-Turing Thesis and Examples of Decidable Languages UC Davis Russell's Paradox - a simple explanation of a profound problem Jeffrey Kaplan Something Strange Happens When You Trust Quantum Mechanics Veritasium