News for hackers. Stuff that matters.

A comment on Ask HN: How to learn mathematical proofs from scratch?. Parent comment

Re:Ask HN: How to learn mathematical proofs from scratch? by lisper on Monday June 20, 2022 @01:58AM (#31806784)
Except that 4 is not 1+1+1+1, it's the successor of 3, which is the successor of 2 which is the successor of 1 which is the successor of 0. So you'd have to show that:

S(S(0)) + S(S(0)) = S(S(S(S(0))))

and that is non-trivial. (But it's not 26,000 steps either.)

[ Parent | on HN ]
Re:Ask HN: How to learn mathematical proofs from scratch? by WastingMyTime89 on Monday June 20, 2022 @07:10AM (#31808881)
It is trivial in most axiomatic systems. It’s directly linked to how + is defined and will mostly boil down to applying it. The 26000 steps proof is extremely convoluted.
[ Parent | on HN ]
Re:Ask HN: How to learn mathematical proofs from scratch? by Natsu on Monday June 20, 2022 @03:40AM (#31807358)
I'm assuming those steps in the definitions of 2 and 4, but you're right that this is part of why it gets so tedious.
[ Parent | on HN ]