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

When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the ...

The term “mathematical art” usually conjures up images of M.C. Escher’s endless staircases, Möbius-strip ants, and mind-boggling tilings. Or it might remind one of the intimate intertwining of ...