Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2 Published 2022-08-13 Download video MP4 360p Recommendations 36:10 What A General Diagonal Argument Looks Like (Category Theory) 34:00 Math's Fundamental Flaw 10:49 Sir Roger Penrose explaining Godel's incompleteness theorems. 20:47 Mathematician explains Gödel's Incompleteness Theorem | Edward Frenkel and Lex Fridman 13:35 Logic at its Limit: The Grelling-Nelson Paradox 58:16 Limits of Logic: The Gödel Legacy 21:53 1 Billion is Tiny in an Alternate Universe: Introduction to p-adic Numbers 13:41 Every Unsolved Math Problem Solved 1:19:48 The Gödel incompleteness phenomenon 21:28 How this scene takes Pulp Fiction from good to masterpiece 1:58:33 INCOMPLETENESS: The Proof and Paradox of Kurt Godel, Dr. Rebecca Goldstein, Harvard 14:15 The Sad Story of the Smartest Man Who Ever Lived 09:59 Goldbach Conjecture - Numberphile 21:48 Programming with Math | The Lambda Calculus 15:14 Mathematicians explains Fermat's Last Theorem | Edward Frenkel and Lex Fridman 37:41 The math of how atomic nuclei stay together is surprisingly beautiful | Full movie #SoME2 41:01 Random Matrices in Unexpected Places: Atomic Nuclei, Chaotic Billiards, Riemann Zeta #SoME2 10:32 The Duplication Glitch in Math (Banach-Tarski Theorem) 08:50 The Axiom of Choice 16:43 The 379 page proof that 1+1=2 Similar videos 28:28 Russell's Paradox - a simple explanation of a profound problem 2:29:58 QP: Gödel‘s Incompleteness, Halting Problem & MRDP Theorem w/ Prof. Mohamed Barakat 3:06:23 Gregory Chaitin: Complexity, Metabiology, Gödel, Cold Fusion 1:26:40 Kurt Gödel Centenary - Part III 1:25:58 Philosophy x Metamathematics – Danya Rogozin 2:58:07 Kurt Gödel Centenary Full Lectures from the Princeton Institute for Advanced Study 1:45:59 Sergei Artemov --- On the Provability of Consistency. More results