Re: [more absurd]

[Uwe Brauer]

>>>   <tomas@tuxteam.de> writes:

> On Sun, Jul 03, 2022 at 10:24:34PM +0200, Uwe Brauer wrote:
>> >>> "BB" == Bruno Barbier <brubar.cs@gmail.com> writes:
>> 
>> > Uwe Brauer <oub@mat.ucm.es> writes:
>> >> 
>> >> I am confused what is 02 supposed to mean?
>> 
>> > That's a leading 0 digit, that can be ignored.
>> 
>> >    (string-to-number "02") => 2
>> 
>> > Alphabetical sorting will see the "0" though and sorts differently.
>> 
>> But 02 seems to me a wired mathematical notation to say the least. I
>> wouldn't use it for sure.

> Think bigger: 1024 would sort alphabetically /before/ 22. Do you
> really want this?
Do you mean 

| Sort |
|------|
|    0 |
|    1 |
|    1 |
| 1024 |
|   22 |
|------|
|      |
|      |

That really su... (My use case only concerned numbers from 0-10).

So it boils down to the question: why isn't 0 considered as natural numbers, 
as, according to the Peano axioms, it is?

Uwe 



-- 
I strongly condemn Putin's war of aggression against the Ukraine.
I support to deliver weapons to Ukraine’s military. 
I support the ban of Russia from SWIFT.
I support the EU membership of the Ukraine.
https://how-to-help-ukraine-now.super.site/

smime.p7s
Description: S/MIME cryptographic signature