Acquisition Talk cover image

Programmed to Fail - 7. Complexity

Acquisition Talk

00:00

The Liar Paradox Problem in Mathematics

In 1900, David Hilbert sought to put mathematics on a solid axiomatic footing from which all propositions can be proven either true or false. But his program was thoroughly dashed in 1931 by a young man named Kurt Gurdle. With a definite procedure for correctly proving all true statements, the sciences could then move towards finality. Such a result would also destroy the framework used by elements in the Department of Defense.

Play episode from 22:22
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app