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 vbezhenar on Friday September 21, 2018 @02:33AM (#18037586)
It's like telling that there are thousands of machine instructions to be able to write printf("%.2f", x). It means that we should use the power of abstraction.
[ Parent | on HN ]
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by kiriakasis on Friday September 21, 2018 @03:32AM (#18037844)
That was exactly the point, if you abstract then you are handwaving details (unless you abstract inside a formal system that itself defines methods for abstraction and then you are back to square one)
[ Parent | on HN ]