The Hardest Problem in Type Theory - Computerphile Published 2021-07-30 Download video MP4 360p Recommendations 17:46 Propositions as Types - Computerphile 14:51 The Brick Factory Problem - Numberphile 13:31 Homotopy Type Theory Discussed - Computerphile 06:34 When Computers Write Proofs, What's the Point of Mathematicians? 19:24 Type Theory for the Working Rustacean - Dan Pittman 06:35 You Probably Don't Know Why You Really Have Mass 20:28 23% Beyond the Riemann Hypothesis - Numberphile 16:38 A number NOBODY has thought of - Numberphile 12:05 WiFi's Hidden ____ Problem - Computerphile 1:33:36 ARM microarchitect: Steve Furber 18:33 Recreating Dennis Ritchie's PhD Thesis - Computerphile 15:47 Pi is Evil - Numberphile 25:52 Hacking Out of a Network - Computerphile 15:56 Computer Science ∩ Mathematics (Type Theory) - Computerphile 15:45 Sleeping Beauty Paradox - Numberphile 08:35 The Most Wanted Prime Number - Numberphile 31:04 Discovery of the Aperiodic Monotile - Numberphile 07:50 The Man Who Revolutionized Computer Science With Math 13:11 TPM (Trusted Platform Module) - Computerphile 38:36 "A Little Taste of Dependent Types" by David Christiansen Similar videos 05:49 P vs NP on TV - Computerphile 18:02 Automated Mathematical Proofs - Computerphile 16:48 Enigma, TypeX and Dad - Computerphile 07:58 Are There Problems That Computers Can't Solve? 05:16 Halting Problem in Python - Computerphile 10:13 The Problem with Time & Timezones - Computerphile 12:23 Typesetters in the '80s - Computerphile 18:37 Eliminating Run-Time Errors with Agda - Computerphile 06:57 Chomsky Hierarchy - Computerphile 10:44 P vs. NP and the Computational Complexity Zoo 17:14 Programming with Proofs - Computerphile 10:40 Barber & Russell Paradoxes (History of Undecidability Part 2) - Computerphile 22:49 Tackling Enigma (Turing's Enigma Problem Part 2) - Computerphile 1:25:25 16. Complexity: P, NP, NP-completeness, Reductions 03:39 Roger Penrose explains Godel's incompleteness theorem in 3 minutes 04:54 The problem in Good Will Hunting - Numberphile 06:26 Turing Complete - Computerphile More results