News for hackers. Stuff that matters.

A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by _Microft on Thursday September 20, 2018 @05:09PM (#18035491)
Some mathematicians are concerned that the possibility of an error in a computer program or a run-time error in its calculations calls the validity of such computer-assisted proofs into question.

(This might be one reason, from https://en.wikipedia.org/wiki/Mathematical_proof#Computer-as... )

[ Parent | on HN ]
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by fjsolwmv on Thursday September 20, 2018 @09:28PM (#18036590)
That's silly, because humans have been repeatedly proven to be full of errors.
[ Parent | on HN ]