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.
![Episode image](/_next/image?url=%2Fassets%2Flogo.png&w=256&q=75)
#18 Gödel's Incompleteness Theorems
Cody Roux
Apr 11th 2024 | 170 min
0:00
0:00