News for hackers. Stuff that matters.

A comment on Mathematics for the Adventurous Self-Learner. Parent comment

Re:Mathematics for the Adventurous Self-Learner by chobytes on Sunday February 23, 2020 @10:11PM (#22401317)
Learn proofs well and you get pretty good and knowing when you’re right. Enough for almost any problem you’ll be likely to encounter in a math textbook anyway.
[ Parent | on HN ]
Re:Mathematics for the Adventurous Self-Learner by TheTrotters on Monday February 24, 2020 @06:45AM (#22403265)
I strongly disagree.

It's a little like saying "learn programming well enough and you'll know if some piece of code works as expected without running it."

[ Parent | on HN ]
Re:Mathematics for the Adventurous Self-Learner by inimino on Saturday March 07, 2020 @05:29PM (#22514674)
> "learn programming well enough and you'll know if some piece of code works as expected without running it."

That is 100% true.

Obviously the code needs to be self-contained (not calling into other unknown code) but so do mathematical proofs.

[ Parent | on HN ]
Re:Mathematics for the Adventurous Self-Learner by abvr on Monday February 24, 2020 @07:20AM (#22403433)
That's what seperates them both, it's not about immediate formal checking from a compiler here, but rather if our proof is being justified adequately according with the rules of deduction and reasoning, it's a more intuitive approach in math, although you do end up knowing whether something is right or wrong, akin to programs.
[ Parent | on HN ]