Listen "#18 Gödel's Incompleteness Theorems - Cody Roux"
Episode Synopsis
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
Cody's website
Cody's dblp
The Lady or the Tiger? - Short Story
The Lady or the Tiger? - Amazon
Logicomix
An Introduction to Gödel's Theorems
Jeremy Avigad's Lecture Notes
More episodes of the podcast Type Theory Forall
#51 s/Coq/Rocq - Nicolas Tabareau
04/06/2025
#49 Self-Education in PL - Ryan Brewer
14/03/2025
ZARZA We are Zarza, the prestigious firm behind major projects in information technology.