Episodios

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

    Más Menos
    36 m
  • This Episode’s Title Has Thirty Eight Letters
    Jan 29 2024

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

    Más Menos
    31 m
  • 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.

    Más Menos
    33 m
  • 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.

    Más Menos
    39 m
  • 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.

    Más Menos
    33 m
  • 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.

    Más Menos
    37 m
  • 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.

    Más Menos
    35 m
  • 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.

    Más Menos
    43 m