YOUR AD GOES HERE

And That's All Just From One Year (Gödel)

Published 24, Mar 2026

Curt Jaimungal


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

Releted More Videos

You May Also Like

YOUR AD GOES HERE

YOUR AD GOES HERE