In Our Time cover image

Godel's Incompleteness Theorems

In Our Time

00:00

Quest for Proving the Consistency of Numbers and Completeness of Geometry

Delve into a mathematician's 30-year journey to establish a proof ensuring the theory of numbers remains devoid of contradictions, along with insights into formalizing the axioms of Euclid's geometry to show its completeness and decidability.

Play episode from 08:47
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