Épisodes

  • 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!

    Voir plus Voir moins
    36 min
  • This Episode’s Title Has Thirty Eight Letters
    Jan 29 2024

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

    Voir plus Voir moins
    31 min
  • 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.

    Voir plus Voir moins
    33 min
  • 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.

    Voir plus Voir moins
    39 min
  • 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.

    Voir plus Voir moins
    33 min
  • 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.

    Voir plus Voir moins
    37 min
  • 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.

    Voir plus Voir moins
    35 min
  • 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.

    Voir plus Voir moins
    43 min