This Episode Cannot Prove Its Own Consistency
Release Date:
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!
This Episode Cannot Prove Its Own Consistency