On Mon, Jul 04, 2022 at 08:46:11AM +0200, Martin Steffen wrote: [...]
> In some sense that's defendable (that what could call natural numbers is > a cultural question or historical, like looking at what Peano did nor > did not define). > > On the other hand, one normally does not just deals with the numbers as > such, one does something with it (like comparing them or calculating > with them) [...] Yes, since Uwe mentioned Peano, that's why I pointed out that Peano doesn't care (you have to get to algebra, i.e. "up" in the conventional foundational ladder) for 0 to have a special role. About the cultural thing... you seem to be a zero-counter (as I am, too): there, too, I think that "our" position isn't in any way "better" -- some theorems look better this way, some that way; some inductions are easier to start at 1, some at 0. Cheers -- t
signature.asc
Description: PGP signature
