Kevin Hartnett

Senior Writer

foundations of mathematics

Will Computers Redefine the Roots of Math?

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.

Mathematics

A Proof That Some Spaces Can’t Be Cut

Mathematicians have solved the century-old triangulation conjecture, a major problem in topology that asks whether all spaces can be subdivided into smaller units.