Vladimir Voevodsky

Frequent Director's Visitor Siobhan Roberts considers errors in mathematics with Professor Vladimir Voevodsky, discussing how his experience confirming a mistake within his own influential proof led him to employ a “proof assistant”—a computer...

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...