(Provably) Unprovable and Undisprovable... How?? Share: Download MP3 Similar Tracks Russell's Paradox - a simple explanation of a profound problem Jeffrey Kaplan Can programmers do math? What is a real number, really? Sheafification of G Algebra - It's not what you think it is! Sheafification of G The Foundation of Mathematics - Numberphile Numberphile2 The Axiom of Choice jHan The Man Who Solved the $1 Million Math Problem...Then Disappeared Newsthink Universal Construction | Category Theory and Why We Care 1.2 Eyesomorphic Solving a finite number problem using infinities Sheafification of G One second to compute the largest Fibonacci number I can Sheafification of G Solving one of the logic puzzles of all time! Sheafification of G What is the opposite of a set? Sheafification of G Turning set theory into the world's worst conlang Random Andgit What Lies Above Pascal's Triangle? Dr Barker The Greatest Mathematician Who Ever Lived Newsthink What is the Moebius function? #SomePi All Angles Abstract Algebra is Nuts Flammable Maths 2Fast2Finite: Breaking the natural speed limit of finite numbers Sheafification of G An impossible game at the heart of math SackVideo The Riemann Hypothesis, Explained Quanta Magazine What is a Monad? – Math vs Computer Science Sheafification of G