Podcasts

Video podcasts and long-form discussions

Gödel's Incompleteness Theorems

Entity

1 video from 1 channel

A fundamental result in mathematical logic that demonstrates inherent limitations in provability within formal mathematical systems.

Joel David Hamkins is a mathematician and philosopher specializing in set theory, the foundations of mathematics, and…