доказывать стало сложнее

[kopernick]

Mathematical proofs getting harder to verify
http://www.newscientist.com/channel/fundamentals/dn8743.html

Любопытная статья о том, что даже в такой точной науке как математика становится меньше абсолютно точных и точно верифицируемых данных. Причина этого - возрастание сложности и объема доказательств, которые все труднее проверять.

As an example, he points to the Classification of Finite Simple Groups, a claimed proof announced in 1980 that resulted from a collaboration in which members of a group each contributed different pieces. "Twenty-five years later we're still not sure if it's correct or not. We sort of think it is, but no one's ever written down the complete proof," Devlin says. Part of the difficulty is the computer code used nowadays to construct proofs, says Thomas Hales, at the University of Pittsburgh, Pennsylvania, US, as this makes the proofs less accessible, even to experts.

And Devlin adds that all of this uncertainty about new proofs could be good for the discipline of maths: "It makes it more human."