News for hackers. Stuff that matters.

A comment on Any smooth cubic surface contains 27 lines. Parent comment

Re:Any smooth cubic surface contains 27 lines by jsprogrammer on Tuesday February 16, 2016 @07:11PM (#11114144)
Yes, that is what I was asking for.

What does the sentence mean then?

One particular proof (of which we do not know if it is exclusive) is non-trivial (whatever that means)? Or, perhaps, all known (to the author) proofs are non-trivial?

[ Parent | on HN ]
Re:Any smooth cubic surface contains 27 lines by omaranto on Tuesday February 16, 2016 @07:29PM (#11114217)
Baez didn't mean that as a mathematical statement rather as a statement in the field of history and human psychology: "So far nobody has been able to devise a proof that is widely regarded by people who study it as being trivial (where triviality of a proof is a subjective judgment for which there is (1) no formal criterion, but also (2) a surprising amount of agreement)."
[ Parent | on HN ]