Will Computers Redefine the Roots of Math? | Quanta Magazine
The Fields medalist Vladimir Voevodsky has died at 51. This 2015 article describes his computer-aided quest to eliminate human error and rewrite the century-old rules underlying all of mathematics.
On a recent train trip from Lyon to Paris, Vladimir Voevodsky sat next to Steve Awodey and tried to convince him to change the way he does mathematics. Voevodsky, 48, is a permanent faculty member at the Institute for Advanced Study (IAS) in Princeton, N.J. He was born in Moscow but speaks nearly flawless English, and he has the confident bearing of someone who has no need to prove himself to anyone. In 2002 he won the Fields Medal, which is often considered the most prestigious award in mathematics. Now, as their train approached the city, Voevodsky pulled out his laptop and opened a…
saved by
related reading
- We need to talk about AI in mathematicsyoutube.com
- Why the Legendary Erdős Problems Are Falling to AI | Quanta Magazinequantamagazine.org
- Why Math’s Final Axiom Proved So Controversial | Quanta Magazinequantamagazine.org
- A New Bridge Links the Strange Math of Infinity to Computer Science | Quanta Magazinequantamagazine.org
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
- June Huh, High School Dropout, Wins the Fields Medal | Quanta Magazinequantamagazine.org
- The fall of the theorem economydavidbessis.substack.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- How Gödel’s Proof Works | Quanta Magazinequantamagazine.org
- June Huh, High School Dropout, Wins the Fields Medal | Quanta Magazinequantamagazine.org
- Math's Fundamental Flawyoutube.com
- Why Mathematical Proof Is a Social Compact | Quanta Magazinequantamagazine.org