What Computers Can't Do - with Kevin Buzzard Published 2017-08-02 Download video MP4 360p Recommendations 59:52 The Extraordinary Theorems of John Nash - with Cédric Villani 51:38 What We Cannot Know - with Marcus du Sautoy 19:44 P vs. NP: The Biggest Puzzle in Computer Science 58:14 Roger Penrose - Forbidden crystal symmetry in mathematics and architecture 54:05 Dark Matter's Not Enough - with Andrew Pontzen 57:33 How Science is Taking the Luck out of Gambling - with Adam Kucharski 48:32 What Darwin won't tell you about evolution - with Jonathan Pettitt 42:33 Beyond Computation: The P versus NP question (panel discussion) 1:04:53 Abdulle Lecture - Interactive theorem provers : can they help mathematicians ? - Prof. Kevin Buzzard 2:17:07 Scott Aaronson: The Greatest Unsolved Problem in Math 1:33:23 Quantum Computing: Untangling the Hype 1:26:41 Smashing Physics - with Jon Butterworth and Brian Cox 52:13 Einstein's Greatest Mistake - with David Bodanis 1:03:48 Can AI Do Mathematics? | Kevin Buzzard 57:24 Professor Avi Wigderson on the "P vs. NP" problem 1:42:30 22. Emergence and Complexity 47:52 How Not to Be Wrong: The Power of Mathematical Thinking - with Jordan Ellenberg 54:51 Beyond Computation: The P versus NP question 43:54 Kevin Buzzard: Mathematics and the Computer with G-Research 59:22 Why Is There Only One Species of Human? - Robin May Similar videos 10:41 Q&A - What Computers Can't Do - with Kevin Buzzard 1:38:51 Public Talk by Kevin Buzzard: Teaching mathematics to computers 06:34 When Computers Write Proofs, What's the Point of Mathematicians? 04:20 Are Computer Proofs Useful for Human Understanding? | Carlos Zapata, Kevin Buzzard 54:12 Will Computers Outsmart Mathematicians? 1:09:52 Kevin Buzzard | Teaching proofs to computers 1:15:35 How do you convince mathematicians a theory prover is worth their time? with Kevin Buzzard 1:25:42 Proving theorems with computers - Kevin Buzzard 1:44:00 Colloquium: Teaching proofs to a computer by Kevin M Buzzard 3:48:51 Kevin Buzzard | Teaching Computers about Numbers | NUMEROUS NUMEROSITY 2021 1:16:05 Kevin Buzzard: "What is the point of Lean's maths library?" 1:22:20 Teaching mathematics to computers by Kevin Buzzard 53:46 Kevin Buzzard, Imperial College London: "Is HoTT the way to do mathematics?" 09:10 How does the Choice of Foundation Influence Mathematics? | Stephen Wolfram, Kevin Buzzard 1:11:32 Kevin Buzzard, Teaching computers to prove theorems More results