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
- Why Math’s Final Axiom Proved So Controversial | Quanta Magazinequantamagazine.org
- Type theory - Wikipediaen.wikipedia.org
- The fall of the theorem economydavidbessis.substack.com
- startup review: axiom mathil0vemilktea.substack.com
- Formalizing Fermat's Last Theoremanthropic.com
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- startup review: axiom mathsubstack.com
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Mathematics for Computer Sciencepeople.csail.mit.edu