Titans of Mathematics Clash Over Epic Proof of ABC Conjecture

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by Angostura on Thursday September 20, 2018 @05:59PM (#18035789)

Wouldn;t it bump into the same kind of problems that Bertrand Russell's attempts bumped into with the Principia Mathematica? Namely it crashed into Gödel's incomplete theorem?

Disclaimer: What I don't know bout maths would fill volumes, in both senses of the word

Edit: From the down-votes, apparently not.

[ Parent | on HN ]

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by mrob on Friday September 21, 2018 @04:07AM (#18038005)

Human mathematicians are bound by Gödel's theorem in exactly the same way computer software is. If an informal human-based "proof" does something that would be impossible with a formal software-based proof, then it's incorrect. There is no theoretical advantage to running the calculations on a human brain.

[ Parent | on HN ]

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by Angostura on Monday September 24, 2018 @06:35AM (#18056499)

Sorry, I didn’t intend to suggest that running a proof on wetware had advantages. Simply that running complete, from first principal proofs were doomed to failure

[ Parent | on HN ]