Kevin Buzzard: Mathematics and the Computer with G-Research Published 2022-12-22 Download video MP4 360p Recommendations 42:29 Computer Guided Mathematics Symposium - Q&A with Sir Timothy Gowers, Kevin Buzzard and Alex Davies 49:32 Sir Timothy Gowers: What is Mathematics? with G-Research 50:59 Learning To Code In Lean 4 With A Friend: Starting Out 1:40:03 Math Talk! Dr Kevin Buzzard, Langlands, diversity, and proof assistants. 1:03:48 Can AI Do Mathematics? | Kevin Buzzard 1:08:16 Kevin Buzzard: The rise of formalism in mathematics 1:14:48 The Future of Mathematics? 1:04:06 What Computers Can't Do - with Kevin Buzzard 1:37:11 "Too much Maths, too little History: The problem of Economics" 1:48:48 "Objectivity in Mathematics," Penelope Maddy 10:41 Q&A - What Computers Can't Do - with Kevin Buzzard 1:32:46 What Money Can't Buy - Public debate with Michael Sandel at St Paul's Cathedral 52:30 British Police Have Transformed Into a Tool for Enforcing the State's Will -- Peter Hitchens Similar videos 02:58 Kevin Buzzard: Mathematics and the Computer 1:38:51 Public Talk by Kevin Buzzard: Teaching mathematics to computers 03:01 Computer Guided Mathematics Symposium - Part of G-Research's Distinguished Speaker Series 1:16:05 Kevin Buzzard: "What is the point of Lean's maths library?" 04:13 An Introduction to G-Research 1:01:33 Interview with Kevin Buzzard 3:48:51 Kevin Buzzard | Teaching Computers about Numbers | NUMEROUS NUMEROSITY 2021 35:15 Alex Davies: Machine Learning with Mathematicians with G-Research 1:25:42 Proving theorems with computers - Kevin Buzzard 04:15 Sir Timothy Gowers: What is Mathematics? 1:11:32 Kevin Buzzard, Teaching computers to prove theorems 03:07 G-Research: Meet our Interns More results