Episodes

  • This Episode Cannot Prove Its Own Consistency
    Jun 2 2024

    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!

    Show more Show less
    36 mins
  • This Episode’s Title Has Thirty Eight Letters
    Jan 29 2024

    In this episode we discuss the metaness of maps, and Schelling Points.

    Show more Show less
    31 mins
  • This Episode Contains The Seeds Of Its Own Creation
    May 22 2023

    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.

    Show more Show less
    33 mins
  • This Episode Is Coming From Inside Your Headphones
    Mar 13 2023

    In this episode we will discuss JOOTsing - Jumping Out Of The System, in the context of software systems and security exploits.

    Show more Show less
    39 mins
  • The Following Episode Is False
    Jan 3 2023

    This episode discusses metaness and Strange Loops in real life. We also review the 1985 novel "Contact" by Carl Sagan.

    Show more Show less
    33 mins
  • This Episode Contains a Hapax Legomenon
    Dec 5 2022

    In this episode we will discuss the Chinese Room Argument, Turing Machines, and Fixed-Point proofs.

    Show more Show less
    37 mins
  • This Episode’s Transcript is a 89742 Byte PDF Document
    Nov 13 2022

    In this episode we will discuss cellular automations, Turing machines, and the novel Permutation City by Greg Egan.

    Show more Show less
    35 mins
  • This Episode is 2580 Seconds Long
    Oct 30 2022

    In this episode we will discuss quines - computer programs that can reproduce their own code. We will also talk about Exhalation - a sci-fi short story by Ted Chiang.

    Show more Show less
    43 mins