Will Computers Redefine the Roots of Math? | Quanta Magazine
quantamagazine.org/20150519-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
Comments (0)
Sign in to post comments.