[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Re: How to make M-x TAB not work on (interactive) decla
From: |
tomas |
Subject: |
Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration? |
Date: |
Mon, 16 Jan 2023 06:38:47 +0100 |
On Mon, Jan 16, 2023 at 12:08:33AM +0300, Jean Louis wrote:
> * Rudolf Adamkovič <salutis@me.com> [2023-01-15 23:27]:
> > Jean Louis <bugs@gnu.support> writes:
> >
> > >> (+) ➜ 0
> > >
> > > Why? It is wrong.
> >
> > In Lisp, the `+' operator returns the sum of the additive identity with all
> > of
> > its arguments. The additive identity equals zero and you provided zero
> > arguments. Hence, you get the additive identity.
>
> Send me references on what is additive identity.
Identity element [0] as defined in group theory [1].
The association of 0 with + and 1 with * runs deeper in maths
than you think.
> Though that it is so, it does not answer why is it so.
Those are, of course, conventions. As whether the natural
numbers begin with 0 or 1. But the above is, AFAIK, most
widespread among mathematicians, wheter the latter is not.
Cheers
[0] https://en.wikipedia.org/wiki/Identity_element
[1] https://en.wikipedia.org/wiki/Group_theory
--
t
signature.asc
Description: PGP signature
- Re: (*) -> 1, (continued)
- Re: (*) -> 1, Óscar Fuentes, 2023/01/18
- Re: (*) -> 1, tomas, 2023/01/18
- Re: (*) -> 1, Óscar Fuentes, 2023/01/18
- Re: (*) -> 1, Michael Heerdegen, 2023/01/18
- Re: (*) -> 1, Óscar Fuentes, 2023/01/18
- Re: (*) -> 1, Andreas Eder, 2023/01/18
- Re: (*) -> 1, Óscar Fuentes, 2023/01/18
- Re: (*) -> 1, Jean Louis, 2023/01/17
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Emanuel Berg, 2023/01/17
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Jean Louis, 2023/01/15
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?,
tomas <=
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Jean Louis, 2023/01/16
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Yuri Khan, 2023/01/16
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Jean Louis, 2023/01/16
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Emanuel Berg, 2023/01/17
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, tomas, 2023/01/17
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Emanuel Berg, 2023/01/19
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Nick Dokos, 2023/01/17
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Jean Louis, 2023/01/17
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Nick Dokos, 2023/01/17
- Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration?, Yuri Khan, 2023/01/16