This Episode Cannot Prove Its Own Consistency

6/2/2024

The Beyond Podcast

0:00

36:20

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!

More episodes from "The Beyond Podcast"

This Episode Was Randomly Selected From The Set Of All Possible Episodes
1/3/2026
32:39
This episode looks at probability theory, statistics, epistemology, and thought experiments involving the Self Sampling Assumption.
This Episode Halts
9/19/2025
36:44
In this episode we discuss paradigms for naming very large numbers, and how this connects to the power of algorithms, programming languages, and the machines they run on.
Don't miss an episode of “The Beyond Podcast” and subscribe to it in the GetPodcast app.
This Episode’s Ontogeny Recapitulates Phylogeny
7/8/2025
34:48
In this episode we discuss metaness in the realm of physics.
This Episode’s Title Exists Somewhere In the Digits of Pi
4/14/2025
30:45
This episode discusses The Book of Tao, minimal descriptions of strings, as well as Kolmogorov Complexity.
This Episode Cannot Prove Its Own Consistency
6/2/2024
36:20
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’s Title Has Thirty Eight Letters
1/29/2024
30:42
In this episode we discuss the metaness of maps, and Schelling Points.
This Episode Contains The Seeds Of Its Own Creation
5/22/2023
32:49
In this episode we discuss Von Neumann probes, and also review Lewis Dartnell's "The Knowledge..." as well as “We Are Legion (We Are Bob)” by Dennis E. Taylor.
This Episode Is Coming From Inside Your Headphones
3/13/2023
38:39
In this episode we will discuss JOOTsing - Jumping Out Of The System, in the context of software systems and security exploits.
The Following Episode Is False
1/3/2023
32:43
This episode discusses metaness and Strange Loops in real life. We also review the 1985 novel "Contact" by Carl Sagan.
This Episode Contains a Hapax Legomenon
12/5/2022
37:14
In this episode we will discuss the Chinese Room Argument, Turing Machines, and Fixed-Point proofs.

More Episodes

Get the whole world of podcasts with the free GetPodcast app.

Subscribe to your favorite podcasts, listen to episodes offline and get thrilling recommendations.

A company from

This Episode Cannot Prove Its Own Consistency

The Beyond Podcast

More episodes from "The Beyond Podcast"

This Episode Was Randomly Selected From The Set Of All Possible Episodes

This Episode Halts

This Episode’s Ontogeny Recapitulates Phylogeny

This Episode’s Title Exists Somewhere In the Digits of Pi

This Episode Cannot Prove Its Own Consistency

This Episode’s Title Has Thirty Eight Letters

This Episode Contains The Seeds Of Its Own Creation

This Episode Is Coming From Inside Your Headphones

The Following Episode Is False

This Episode Contains a Hapax Legomenon