[silk] This is what the Singularity looks like.

http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html Wikipedia-size maths proof too big for humans to check 17:38 17 February 2014 by Jacob Aron If no human can check a proof of a theorem, does it really count as mathematics? That's the

Re: [silk] This is what the Singularity looks like.

On Wed, Feb 19, 2014 at 12:56 PM, Udhay Shankar N ud...@pobox.com wrote: http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html Wikipedia-size maths proof too big for humans to check 17:38 17 February 2014 by Jacob Aron If no human can

Re: [silk] This is what the Singularity looks like.

On 19 February 2014 09:03, Thaths tha...@gmail.com wrote: On Wed, Feb 19, 2014 at 12:56 PM, Udhay Shankar N ud...@pobox.com wrote: http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html Wikipedia-size maths proof too big for humans to