>>>writes:
> On Mon, Jul 04, 2022 at 09:42:01AM +0200, Uwe Brauer wrote:
> [...]
>> That is the first time I remember that on this list, questions of the
>> foundation of mathematics are discussed 😉
> Such things happen :)
>> Back to the point, maybe I am too conservative, but I would inclu
>writes:
> About the cultural thing... you seem to be a zero-counter (as I
I guess I am, by maybe have not been a zero-counter from the start, but
a 1-counter. I vaguely remember to have learnt (at school? beginning at
university?) that ``THE natural numbers'' (the ones Kronecker cla
On Mon, Jul 04, 2022 at 09:42:01AM +0200, Uwe Brauer wrote:
[...]
> That is the first time I remember that on this list, questions of the
> foundation of mathematics are discussed 😉
Such things happen :)
> Back to the point, maybe I am too conservative, but I would include 0
> within the natura
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
> 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
>writes:
> On Mon, Jul 04, 2022 at 07:10:27AM +0200, Uwe Brauer wrote:
> [...]
>> 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 ax
On Mon, Jul 04, 2022 at 07:10:27AM +0200, Uwe Brauer wrote:
[...]
> 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?
I don't know whether you're serious
>>>writes:
> On Sun, Jul 03, 2022 at 10:24:34PM +0200, Uwe Brauer wrote:
>> >>> "BB" == Bruno Barbier writes:
>>
>> > Uwe Brauer 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
>
On Sun, Jul 03, 2022 at 10:24:34PM +0200, Uwe Brauer wrote:
> >>> "BB" == Bruno Barbier writes:
>
> > Uwe Brauer 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
>>> "BB" == Bruno Barbier writes:
> Uwe Brauer 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 mathema
Uwe Brauer 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.
Bruno
>>> "BB" == Bruno Barbier writes:
> Uwe Brauer writes:
>>
>> I am confused:
>>
>> https://en.wikipedia.org/wiki/Natural_number
>>
>> States that Some definitions, including the standard ISO
>> 8-2,[3][a] begin the natural numbers with 0, so I thought this is
>> standard emacs/org uses.
Uwe Brauer writes:
>
> I am confused:
>
> https://en.wikipedia.org/wiki/Natural_number
>
> States that Some definitions, including the standard ISO
> 8-2,[3][a] begin the natural numbers with 0, so I thought this is
> standard emacs/org uses.
I don't know, sorry.
> This seems not to be the
>>> "BB" == Bruno Barbier writes:
> Uwe Brauer writes:
>> Consider
>>
>> | 2 |
>> | 1 |
>> | 1 |
>> | 0 |
>> | |
>> | |
>>
>> (org-table-sort-lines nil nil nil nil t) (numerically 'n' gives)
> ...
>>
>> So no empty lines, what the hell is going on here?
> The reason is probably that t
Uwe Brauer writes:
> Consider
>
> | 2 |
> | 1 |
> | 1 |
> | 0 |
> | |
> | |
>
> (org-table-sort-lines nil nil nil nil t) (numerically 'n' gives)
...
>
> So no empty lines, what the hell is going on here?
The reason is probably that the function 'string-to-number' return 0 for
anything th
15 matches
Mail list logo
