view_agenda Chapters
auto_awesome Transcript
info_circle Episode notes
In this episode Cody Roux talks about the Gödel's Incompleteness Theorems. We go
through it’s underlying historical context, Hilbert’s Program, how it relates
with Turing, Church, Von Neumann, Termination and more.
Links
