#20 Huaweii, String Diagrams, Game Semantics
June 27th 2022
Dan R. Ghica
#19 Experience Report: Learning Coq
June 4thth 2022
Patrick and Supun
#18 Gödel's Incompleteness Theorems
May 19th 2022
Cody Roux
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
Tweet