In Mathematics, Mistakes Aren’t What They Used To Be

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 program that would prevent him from wandering too far down errant paths.