The video loads from YouTube only after you press Play.
An 8-minute video by Tom Scott about computing mechanisms and theory of computation, on the Computer science shelf. It was posted to r/compsci as “How do we know The Halting Problem isn't only impossible to implement for itself?”.
Tom Scott, Video, 8 min, 2020, on the Computer science shelf
All about Hilbert's Decision Problem, Turing's solution, and a machine that vanishes in a puff of logic.
28 min
What is PLUS times PLUS?2swapMentioned in r/compsci
8 min
Proof That Computers Can't Do Everything (The Halting Problem)udiprodPosted to r/programming: This is the greatest explanation of the Halting Problem I have ever seen, but people keep downvoting it because they don't understand and think it's wrong.
13 min
Lambda Calculus - ComputerphileComputerphileMentioned in r/compsci
8 h 3 min
Data Structures Easy to Advanced Course - Full Tutorial from a Google EngineerfreeCodeCamp.orgMentioned in r/learnprogramming
11 min
P vs. NP and the Computational Complexity ZoohackerdasheryMentioned in r/math
10 min
Deterministic Finite Automata (Example 1)Neso AcademyMentioned in r/computerscience
1 h 53 min
Was Einstein Wrong? Bell's Inequality & Universal Non-Locality | Tim MaudlinMind-Body Solution with Dr Tevin NaiduPosted to r/AskPhysics
1 h 2 min
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack AcademyMentioned in r/compsci