Titans of Mathematics Clash Over Epic Proof of ABC Conjecture

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by atmanthedog on Thursday September 20, 2018 @06:20PM (#18035895)

Unfortunately, math doesn't really permit this type of truth: if your axioms are strong enough to prove general statements about arithmetic, there is no effective procedure to determine whether an arbitrary proof follows from those axioms.

[ Parent | on HN ]

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by smadge on Thursday September 20, 2018 @08:32PM (#18036401)

Did you mean to write “there is no effective procedure to determine whether an arbitrary formula follows from those axioms?”

A proof is exactly how we demonstrate that a formula follows from the axioms.

[ Parent | on HN ]

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.

[ Parent | on HN ]