The hole at the bottom of math: undecidability. Derek Muller aka "the Veritasium guy" took at shot at introducing the world to the concept of undecidability via Conway's Game of Life, Hao Wang's undecidable tiling problem, Cantor's countable vs uncountable infinities, Bertrand Russell's set theory self-referential paradox, Hilbert's (failed attempt at a) formal system for the axioms of mathematics, Gödel's proofs of incompleteness of a formal system, ultimately leading to Turning's proof of the undecidability of what is now known as the Turing Halting Problem.

There's a Hole at the Bottom of Math - Veritasium

#mathematics #incompleteness #undecidability