Hacker News new | ask | show | jobs
by necovek 479 days ago
While you are right that Succ() is as elemental as it gets (including in both Peano and set-theory construction of natural numbers), it is seldom used outside of theoretical foundations.

So perhaps the implied rule is not about it being "reasonable, elemental", but rather about "common" functions and operands (yes, it's still a can of worms, and you'd need to be explicit about what that is).
1 comments
valenterry 478 days ago
> While you are right that Succ() is as elemental as it gets (including in both Peano and set-theory construction of natural numbers), it is seldom used outside of theoretical foundations.

Well, depends on how you define seldom. What if I told you that twitter would break without the use of Succ()? :-)

link
necovek 478 days ago
As I said in the other paragraph:

> it's still a can of worms

;-)

link