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
- A stack of Apple laptops could work as a powerful supercomputer | New Scientist https://www.newscientist.com/article/2345550-a-stack-of-apple-laptops-could-work-as-a-powerful-supercomputer/ 29 comments
- Roger Penrose interview: "Consciousness must be beyond computable physics." | New Scientist https://www.newscientist.com/article/mg25634130-100-roger-penrose-consciousness-must-be-beyond-computable-physics/ 29 comments
- Wikipedia:Database download - Wikipedia https://en.wikipedia.org/wiki/Wikipedia:Database_download 25 comments
- We now know why some poos float and others sink | New Scientist https://www.newscientist.com/article/2346620-we-now-know-why-some-poos-float-and-others-sink/ 7 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
- Fluorescent Mimosa pudica plants reacting to touch reveals how they avoid predators | New Scientist https://www.newscientist.com/video/2346910-fluorescent-mimosa-pudica-plants-reveal-how-they-avoid-predators/ 0 comments
Related searches:
Search whole site: site:newscientist.com
Search title: Wikipedia-size maths proof too big for humans to check | New Scientist
See how to search.