Wikipedia-size maths proof too big for humans to check - physics-math - 17 February 2014 - New Scientist
newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-hu...
A computer-assisted proof is so big it may never be checked by a human being – raising questions about the nature of modern mathematics
Comments (0)
Sign in to post comments.