This Episode Cannot Prove Its Own Consistency

02/06/2024 36 min Temporada 1 Episodio 9
This Episode Cannot Prove Its Own Consistency

Listen "This Episode Cannot Prove Its Own Consistency"

Episode Synopsis

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!