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!