This Episode Cannot Prove Its Own Consistency

2024-06-02

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!

Fler avsnitt från "The Beyond Podcast"

This Episode Was Randomly Selected From The Set Of All Possible Episodes
2026-01-03
32:39
This episode looks at probability theory, statistics, epistemology, and thought experiments involving the Self Sampling Assumption.
This Episode Halts
2025-09-19
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.
Missa inte ett avsnitt av “The Beyond Podcast” och prenumerera på det i GetPodcast-appen.
This Episode’s Ontogeny Recapitulates Phylogeny
2025-07-08
34:48
In this episode we discuss metaness in the realm of physics.
This Episode’s Title Exists Somewhere In the Digits of Pi
2025-04-14
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
2024-06-02
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
2024-01-29
30:42
In this episode we discuss the metaness of maps, and Schelling Points.
This Episode Contains The Seeds Of Its Own Creation
2023-05-22
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
2023-03-13
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
2023-01-03
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
2022-12-05
37:14
In this episode we will discuss the Chinese Room Argument, Turing Machines, and Fixed-Point proofs.

Fler avsnitt

Kom åt alla poddsändningar i gratisappen GetPodcast.

Prenumerera på dina favoritpoddar, lyssna på avsnitt offline och få spännande rekommendationer.

Ett företag från

This Episode Cannot Prove Its Own Consistency

The Beyond Podcast

Fler avsnitt från "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