Hacker News
- Wikipedia-size maths proof too big for humans to check http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html#.UwTuA3gRq8M 60 comments
- Do you find it important that a proof of a theorem provide insight? http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html#.VQhkdY7F_Uk 23 comments math
- Wikipedia-sized math proof is too big for humans http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html#.uwl-ukjdvjv 11 comments science
- Wikipedia-size maths proof too big for humans to check: if no human can check a proof of a theorem, does it really count as mathematics? http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html#.uwj4n4wgwkf 154 comments philosophy
- If no human can check a proof of a theorem, does it really count as mathematics? That's the intriguing question raised by the latest computer-assisted proof. It is as large as the entire content of Wikipedia, making it unlikely that will ever be checked by a human being. http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html#.uwjqh4wv9so 131 comments math
- If no human can check a proof of a theorem, does it really count as mathematics? That's the intriguing question raised by the latest computer-assisted proof. It is as large as the entire content of Wikipedia, making it unlikely that will ever be checked by a human being. http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html#.uwjqh4wv9so 370 comments programming
Linked pages
- Feeding cows hemp makes them ‘high’ and their milk could be unsafe | New Scientist https://www.newscientist.com/article/2346872-feeding-cows-hemp-makes-them-high-and-their-milk-could-be-unsafe/ 566 comments
- X-37B: Secretive US space plane lands after record 908 days in orbit | New Scientist https://www.newscientist.com/article/2346762-secretive-us-space-plane-x-37b-lands-after-record-908-days-in-orbit/ 299 comments
- Wikipedia:Database download - Wikipedia https://en.wikipedia.org/wiki/Wikipedia:Database_download 25 comments
- Leprosy bacteria may hold the key to helping the liver regenerate | New Scientist https://www.newscientist.com/article/2346967-leprosy-bacteria-may-hold-the-key-to-helping-the-liver-regenerate/ 1 comment
Related searches:
Search whole site: site:www.newscientist.com
Search title: Wikipedia-size maths proof too big for humans to check | New Scientist
See how to search.