HackerTube.dev

Turing & The Halting Problem - Computerphile

Computerphile · 919.4K views · 2014-08-21 · 6:14

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

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

Recommended by 2 HN people across 2 months · HN mentions 2019–2022

Topics

Computability & complexity theory
Search by tags
halting problemalan turingcomputabilitydecidabilitycomputer science theory

What people said

gammalost · 2021-06 · Recommendation

>Like what? The halting problem is (I think?) the standard example. Here's a short video on it [VIDEO]

Read the original HN comment ↗
mar77i · 2019-12 · Recommendation

For one practical example, Gödel's incompleteness is directly related to decidability problems in CS. there's this glorious liar paradox machine discussed by Computerphile [0]. [0] [VIDEO]

Read the original HN comment ↗
verdverm · 2022-08 · Reference

no, it's all in software because you can create any smart contract and it can call any other. There is a difference in knowing after the transaction has finalized and predicting beforehand, which is when you would want to block the transaction. [VIDEO]

Read the original HN comment ↗

Sources

Video by Computerphile, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources