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 dwheeler on Thursday September 20, 2018 @09:03PM (#18036493)
Gödel's incompleteness theorem shows the inherent limitations of every formal axiomatic system capable of modelling basic arithmetic. The incompleteness theorem does not show that nothing can be proven.
[ Parent | on HN ]
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by nixpulvis on Thursday September 20, 2018 @09:11PM (#18036526)
Who said anything about nothing ;)
[ Parent | on HN ]