Will Computers Redefine the Roots of Math?

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.

The post Will Computers Redefine the Roots of Math? appeared first on WIRED.





Go to Source
Author: Kevin Hartnett

Powered by WPeMatico