Comment by drdeca
3 days ago
> For example, S(0) is 1, S(S(0)) is 2, S(S(S(0))) is 3, and so on.
S is a function symbol. S(0) (in PA) is not a function. It is an expression involving one.
3 days ago
> For example, S(0) is 1, S(S(0)) is 2, S(S(S(0))) is 3, and so on.
S is a function symbol. S(0) (in PA) is not a function. It is an expression involving one.
Let’s keep it simple. What physics or engineering is easier? Let us ignore mathematics for its own sake . If you can’t show use there … id argue it’s our math aesthetics that are wrong
Why have you picked that comment of mine to reply with that reply? I was just correcting an error. Your reply seems irrelevant to my comment.
I was just saying that “one more than 0” isn’t a function just because in Peano arithmetic, the successor function, along with the constant 0, is used to denote natural numbers.