Diagonal Argument : Cantor, Turing, Tarski and Lawvere Published 2021-12-06 Download video MP4 360p Recommendations 36:10 What A General Diagonal Argument Looks Like (Category Theory) 24:14 The Banach–Tarski Paradox 29:59 Tesla’s 3-6-9 and Vortex Math: Is this really the key to the universe? 04:50 What's so wrong with the Axiom of Choice ? 05:20 The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy 06:33 Integers & Reals have different, infinite sizes! **Cantor Diagonlization** 32:16 Category Theory for Neuroscience (pure math to combat scientific stagnation) 34:00 Math's Fundamental Flaw 18:08 An "obvious" theorem about infinite sets (The Cantor-Bernstein-Schröder Theorem) 14:51 Category Theory: An Introduction to Abstract Nonsense 14:07 Cantor's Infinity Paradox | Set Theory 1:33:45 The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics 12:59 The Boundary of Computation 08:59 Cantor's Diagonalization Argument 22:09 The Simplest Math Problem No One Can Solve - Collatz Conjecture 16:10 Godel's 1st Incompleteness Theorem - Proof by Diagonalization 08:00 Infinity is bigger than you think - Numberphile 33:06 Mathematicians Use Numbers Differently From The Rest of Us 16:25 What happens at infinity? - The Cantor set Similar videos 05:05 Cantor's Diagonal Argument 12:39 Elegant combinatorics problem featuring Cantor's diagonal argument 1:07:39 David Roberts --- Do you have what it takes to use the diagonal argument? 19:38 Theorem of the Week: Lawvere’s Fixed Point Theorem 1:33:46 CT2023, Session in honour of Bill Lawvere 00:37 AppDynSys : Chaos : Cantor sets More results