News for hackers. Stuff that matters.
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by Moodles on Thursday September 20, 2018 @04:28PM (#18035199)
True, but even then, how large do you think the field is? And how many people verify these proofs?

I have a PhD in an esoteric field myself. There's literally <50 people worldwide who write/verify proofs in it. I've spotted errors in my own work or other's work that got past peer review. And I don't think I'm particularly special. There's just not enough eyeballs, time and incentives sometimes.

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by bsder on Thursday September 20, 2018 @04:33PM (#18035230)
> True, but even then, how large do you think the field is? And how many people verify these proofs?

It only takes one to break it. And, for something so fundamental, it's a big deal if you are the one.

This isn't physics, where you have to rule out all manner of confounding data before you can trust your conclusion.

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by fjsolwmv on Thursday September 20, 2018 @09:31PM (#18036606)
The point you are missing that studying a proof can't proof it correct, only fail to disprove it.
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by bsder on Friday September 21, 2018 @04:44AM (#18038150)
That's incorrect.

For example, given the axioms of Euclidean geometry, I can prove that the sum of the angles of a triangle add up to 180 degrees.

That statement is true. Full stop.

Now the starting axioms may not be correct (the parallel postulate, for example, is not required to be true). However, given the starting axioms, proofs are true. Period.

In addition, there will be things in mathematics that you cannot prove--Godel's Incompleteness Theorem sits in this section.

And, science has the problem that a hypothesis can only be disproven.

Mathematics does not suffer from the same issue, though.