Georges Gonthier: Computer proofs: teaching computers mathematics, and conversely Published 2022-07-07 Download video MP4 360p Recommendations 43:12 Frank Calegari: 30 years of modularity: number theory since the proof of Fermat's Last Theorem 34:00 Math's Fundamental Flaw 1:00:12 Alexander Kuznetsov: Homological algebraic geometry 29:37 Nature's Incredible ROTATING MOTOR (It’s Electric!) - Smarter Every Day 300 22:36 Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED 54:56 Terence Tao, "Machine Assisted Proof" 10:45 The Man Who Solved the $1 Million Math Problem...Then Disappeared 20:42 How To Code A Quantum Computer 52:39 Alexander Gamburd: Arithmetic and dynamics on varieties of Markoff type 45:37 Kai Cieliebak: Lagrange multiplier functionals 39:55 Danny Calegari: Sausages and butcher paper 04:00 Norm MacDonald - Professor of Logic Joke 1:00:04 Michel van den Bergh: Noncommutative crepant resolutions 15:11 Bayes theorem, the geometry of changing beliefs 16:20 The REAL Three Body Problem in Physics 22:09 The Simplest Math Problem No One Can Solve - Collatz Conjecture 13:13 Mathematics is the sense you never knew you had | Eddie Woo | TEDxSydney 16:24 The Riemann Hypothesis, Explained 06:12 Fields Medals 2022 June Huh Similar videos 48:35 Georges Gonthier - Functional Encodings of Mathematics 46:33 Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA 25:51 Fail Better: What formalized mathematics can teach us about learning 1:05:38 CSE138 (Distributed Systems) L22: the math behind replica conflict resolution 45:21 Gustav Holzegel, Peter Hintz: Recent Progress in General Relativity 1:08:16 Kevin Buzzard: The rise of formalism in mathematics 43:09 Mathematical Logic, Lecture 6 (More on formal proofs and Gödel's completeness theorem) 45:25 Oleg Lepski: Theory of adaptive estimation 56:58 Guillermo Badia & Grigory Olkhovikov – A Lindström theorem for predicate intuitionistic logic 1:54:28 LUW 2022.1: Antonino Drago - An Intuitionist Reasoning Upon Formal Intuitionist Logic More results