The Most Difficult Program to Compute? - Computerphile Published 2014-07-01 Download video MP4 360p Recommendations 19:00 Turing's Enigma Problem (Part 1) - Computerphile 12:32 Programming Loops vs Recursion - Computerphile 24:07 AI can't cross this line and we don't know why. 12:40 Lambda Calculus - Computerphile 20:00 AI "Stop Button" Problem - Computerphile 12:18 Recursion 'Super Power' (in Python) - Computerphile 17:46 Error Correcting Curves - Numberphile 14:55 Punch Card Programming - Computerphile 16:20 Von Neumann Architecture - Computerphile 09:48 Where HTML beats C? - Computerphile 09:00 The Enormous TREE(3) - Numberphile 08:57 Fibonacci Programming - Computerphile 12:59 The Boundary of Computation 20:00 The Quantum Hype Bubble Is About To Burst 18:57 Why the Soviet Computer Failed 21:45 What's Going Wrong in Particle Physics? (This is why I lost faith in science.) 14:19 How do non-euclidean games work? | Bitwise 09:50 The Attack That Could Disrupt The Whole Internet - Computerphile 23:40 The Hardest Problem in Type Theory - Computerphile 19:53 Cold Fusion is Back (there's just one problem) Similar videos 09:40 What on Earth is Recursion? - Computerphile 14:06 ALGOL 60 at 60 - Computerphile 17:56 Busy Beaver Turing Machines - Computerphile 10:13 The Problem with Time & Timezones - Computerphile 18:02 Automated Mathematical Proofs - Computerphile 16:05 Tail Recursion Explained - Computerphile 17:19 Regular Expressions - Computerphile 15:02 Computing Limit - Computerphile 08:18 Internationalis(z)ing Code - Computerphile 18:37 Eliminating Run-Time Errors with Agda - Computerphile 12:56 Self Compiling Compilers - Computerphile 13:47 Brute Forcing The Countdown Numbers Game - Computerphile 08:28 HTML IS a Programming Language (Imperative vs Declarative) - Computerphile 15:56 Computer Science ∩ Mathematics (Type Theory) - Computerphile 13:45 Spectre & Meltdown - Computerphile 08:02 Supercomputer and the Milky Way - Computerphile 17:14 Programming with Proofs - Computerphile More results