Voevodsky’s Mathematical Revolution

Julie Rehmeyer of Scientific American discusses Professor Vladimir Voevodsky's revolutionary address at the Heidelberg Laureate Forum, writing:

Voevodsky told mathematicians that their lives are about to change. Soon enough, they’re going to find themselves doing mathematics at the computer, with the aid of computer proof assistants. Soon, they won’t consider a theorem proven until a computer has verified it. Soon, they’ll be able to collaborate freely, even with mathematicians whose skills they don’t have confidence in. And soon, they’ll understand the foundations of mathematics very differently.

Read more at Scientific American.