Automated Mathematical Proofs - Computerphile Published 2022-08-09 Download video MP4 360p Recommendations 23:40 The Hardest Problem in Type Theory - Computerphile 23:35 Infinitude of primes --- a Lean theorem prover demo 06:34 When Computers Write Proofs, What's the Point of Mathematicians? 33:38 Zero Knowledge Proof (with Avi Wigderson) - Numberphile 28:31 Coffee with Brian Kernighan - Computerphile 44:48 How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference 22:36 Emulation - Computerphile 17:14 Programming with Proofs - Computerphile 19:49 Reverse Engineering - Computerphile 1:14:48 The Future of Mathematics? 18:34 Berry's Paradox - An Algorithm For Truth 14:50 Breaking RSA - Computerphile 07:50 The Man Who Revolutionized Computer Science With Math 15:56 Computer Science ∩ Mathematics (Type Theory) - Computerphile 05:23 Proving God exists using Math 15:05 The Opposite of Infinity - Numberphile 22:40 What's Virtual Memory? - Computerphile 12:55 A Strange Map Projection (Euler Spiral) - Numberphile Similar videos 15:46 Mechanising (Graphical) Mathematical Proofs - Computerphile 02:50 Proving P=NP Requires Concepts We Don't Have | Richard Karp and Lex Fridman 07:58 Are There Problems That Computers Can't Solve? 17:14 Program Correctness - Computerphile 06:14 Turing & The Halting Problem - Computerphile 09:27 Automata & Python - Computerphile 07:53 10 minute Lean tutorial : proving logical propositions 00:46 Day in My Life as a Quantum Computing Engineer! More results