This Episode Cannot Prove Its Own Consistency
Update: 2024-06-02
Description
This episode discusses the work of Alan Turing and Kurt Gödel, drawing parallels between the Halting Problem and the Incompleteness Theorems. We also review a fun book of puzzles!
Comments
In Channel