THE VIDEO SHELF · halting problem
Turing & The Halting Problem - Computerphile
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 HN readers recommended it
Offered as a short, clear explanation of the halting problem and its link to decidability.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- Computerphile
- Topic
- halting problem
- Format
- explainer
- Level
- intro
- HN recommenders in dataset
- 2
- HN mentions in dataset
- 4
- Recommendation years in dataset
- 2019–2022
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
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]
mar77i on Hacker News · 2019-12
In Kurt Gödel and the Mechanization of Mathematics>Like what? The halting problem is (I think?) the standard example. Here's a short video on it [VIDEO]
gammalost on Hacker News · 2021-06
In DeepMind says reinforcement learning is ‘enough’ to reach general AI
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.