![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#18 Gödel's Incompleteness Theorems - Cody Roux
Type Theory Forall
English - May 19, 2022 18:30 - 2 hours - 139 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #17 The Lost Elegance of Computation - Conal Elliott
Next Episode: #19 Experience Report: Learning Coq - Patrick and Supun
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