<p>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!</p>

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

The Beyond Podcast explores meta-topics and concepts. Note: this has nothing to do with Meta - the corporation. We will focus on mind-twisting subjects like recursion, self-similarity, self-reference, various paradoxes, and other fun puzzles and problems. We will discuss meta references in art and entertainment. And we will try to make these discussions fun and entertaining! Check out The Beyond Podcast at thebeyondpod.com, or wherever you get your podcasts.

Share This Episode Cannot Prove Its Own Consistency

Sign up to save your podcasts

This Episode Cannot Prove Its Own Consistency

This Episode Cannot Prove Its Own Consistency