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

Type Theory Forall

• Episode: #18 Gödel's Incompleteness Theorems - Cody Roux
• Website: Type Theory Forall
• Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
• Duration: 02:50:14
• Published: 2022-05-19 20:30

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