This Episode Cannot Prove Its Own Consistency cover art

This Episode Cannot Prove Its Own Consistency

This Episode Cannot Prove Its Own Consistency

Listen for free

View show details

About this listen

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!

No reviews yet