Delve deeper into the effort to prove that the logical consistency of mathematics can be reduced to basic arithmetic. Follow the work of David Hilbert, Georg Cantor, Gottlob Frege, Bertrand Russell, and others. Learn how Kurt Gödel’s incompleteness theorems sounded the death knell for this ambitious project.
Hide player controls
Hide resume playing