What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky Published 2012-04-26 Download video MP4 360p Recommendations 1:21:41 Surprises from rubbing the wrong way - A public lecture by Tadashi Tokieda 55:54 The mathematical work of Vladimir Voevodsky - Dan Grayson 33:38 Zero Knowledge Proof (with Avi Wigderson) - Numberphile 34:00 Math's Fundamental Flaw 1:13:14 Ancient Human Genomes...Present-Day Europeans - Johannes Krause 58:16 Limits of Logic: The Gödel Legacy 1:04:00 Primes and Equations | Richard Taylor 1:40:32 Where in the World are SUSY & WIMPS? - Nima Arkani-Hamed 23:44 Has JWST SOLVED the crisis in cosmology?! 47:03 What do we mean by "equal" - Pierre Deligne 1:33:26 Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky 57:56 Toy Models | Tadashi Tokieda 42:58 Infinity: does it exist?? A debate with James Franklin and N J Wildberger 1:23:35 AdS/CFT Correspondence, Part 1 - Juan Maldacena 1:27:36 Introduction to Plasma Physics I: Magnetohydrodynamics - Matthew Kunz 12:40 Crisis in the Foundation of Mathematics | Infinite Series 50:47 Primes and Knots - Akshay Venkatesh 55:22 Saunders Mac Lane: "Mysteries and Marvels of Mathematics" 25:26 What is a Motive? - Pierre Deligne 50:13 Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky Similar videos 1:07:33 Univalent Foundations of Mathematics - Vladimir Voevodsky 05:53 Homotopy Type Theory: Vladimir Voevodsky - Computerphile 1:05:09 Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky 35:18 An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky 1:00:10 The meta-theory of dependent type theories - Vladimir Voevodsky 30:04 Prof Vladimir Voevodsky at GYSS 2017 - What is Constructive Mathematics and Why it is Important 28:58 Computer Science and Homotopy Theory - Vladimir Voevodsky 1:33:26 Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics 1:23:15 20140910 HGF5 Paul Bernays Lectures Voevodsky 03 dm More results