hackertube.io

Turing & The Halting Problem - Computerphile

Computerphile · explainer · Watch on YouTube

Computability & complexity theory

What it is

A Computerphile video in which Mark Jago of the University of Nottingham explains Turing's halting problem and how it led to the blueprint for the modern computer.

Why Hacker News recommends it

Offered as a short, clear explanation of the halting problem and its link to decidability.

  • 2 people recommended it
  • 2 different months
  • 0 strong recommendations
  • first 2019, last 2022

What HN commenters said

  1. “there's this glorious liar paradox machine discussed by Computerphile”

    Liar paradox machine illustrating link between incompleteness and decidability

    mar77i, 2019-12 · Recommendation · in “Kurt Gödel and the Mechanization of Mathematics”

  2. “Here's a short video on it”

    Short explanation of the halting problem

    gammalost, 2021-06 · Recommendation · in “DeepMind says reinforcement learning is ‘enough’ to reach general AI”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: halting problem, alan turing, computability, decidability, computer science theory

Also recommended by the same people