Wikipedia-Size Maths Proof Too Big for Humans to Check

From Wikipedia Quality
Revision as of 05:47, 10 June 2019 by Audrey (talk | contribs) (Information about: Wikipedia-Size Maths Proof Too Big for Humans to Check)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Wikipedia-Size Maths Proof Too Big for Humans to Check - scientific work related to Wikipedia quality published in 2014, written by Jacob Aron.

Overview

A computer-assisted proof is so big it may never be checked by a human being – raising questions about the nature of modern mathematics