Will Computers Redefine the Roots of Math?
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 century-old rules underlying all of mathematics.

May 19, 2015 at 02:55PM
via Digg http://ift.tt/1Ad7Vzt