#18 Gödel's Incompleteness Theorems - Cody Roux

Type Theory Forall - A podcast by Pedro Abreu

Try Bookbeat 60! days for free, click here

Try Bookbeat 60! days for free, click here

Enjoy a whole world of audiobooks and e-books, everything from new releases to the classics

 Sponsored

Categories:

Technology

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

Visit the podcast's native language site