News for hackers. Stuff that matters.

A comment on The Inconsistency of Arithmetic (2011). Parent comment

Re:The Inconsistency of Arithmetic (2011) by jmholla on Monday August 16, 2021 @11:10PM (#28205762)
I think you may have a typo. Should 4 be Sn+Sm=S(n+m)?
[ Parent | on HN ]
Re:The Inconsistency of Arithmetic (2011) by Sniffnoy on Monday August 16, 2021 @11:30PM (#28205895)
No. Sn+Sm would be n+m+2, while S(n+m) is n+m+1.
[ Parent | on HN ]
Re:The Inconsistency of Arithmetic (2011) by JZumun on Tuesday August 17, 2021 @08:56AM (#28209330)
When I read about Peano axioms I mentally think of Sn as the function S(n) = n+1 and that helps me understand them better.

As a non mathematician sometimes I wonder if this substitution is causing me to misunderstand something else about them.

[ Parent | on HN ]
Re:The Inconsistency of Arithmetic (2011) by dreamcompiler on Tuesday August 17, 2021 @02:10AM (#28206709)
S is not a multiplier; it's a call of the successor function. The distributive property doesn't apply.
[ Parent | on HN ]