Description:
In 1931, Gödel shattered Hilbert's program, severing mathematical truth from formal proof and setting limits on axiomatization. He proved undecidable problems are eternal and laid groundwork for computability. Plus, his theorems on consistency and a universe with time travel! #GoedelsIncompleteness #MathematicalLogic #HistoryOfMath #Computability #TheoreticalPhysics Full video with Curt Jaimungal: https://youtu.be/OH-ybecvuEo
Share this link via
Or copy link

























