News for hackers. Stuff that matters.
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by rocqua on Thursday September 20, 2018 @06:58PM (#18036060)
Still, given a set of axioms, statements will fall into one of three categories. 1) Provably True, 2) Provably False, 3) Undecideable

Claims that a statement is in category 1 are fully verifiable (by providing the proof). The same goes with claims that a statement is in category 2.

There are no comments on this comment yet.