From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Newsgroups: gmane.emacs.help Subject: Re: (*) -> 1 Date: Tue, 17 Jan 2023 17:43:29 +0100 Message-ID: References: <87r0vuidjc.fsf@eder.anydns.info> <87y1q1kvdm.fsf@web.de> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="QsafCw1Ib++t6VnD" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2439"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Michael Heerdegen To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Tue Jan 17 17:44:29 2023 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pHp4X-0000OS-Gt for geh-help-gnu-emacs@m.gmane-mx.org; Tue, 17 Jan 2023 17:44:29 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pHp3k-0006nn-22; Tue, 17 Jan 2023 11:43:40 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pHp3f-0006n9-R5 for help-gnu-emacs@gnu.org; Tue, 17 Jan 2023 11:43:37 -0500 Original-Received: from mail.tuxteam.de ([5.199.139.25]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pHp3c-0000EB-Dl for help-gnu-emacs@gnu.org; Tue, 17 Jan 2023 11:43:35 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tuxteam.de; s=mail; h=From:In-Reply-To:Content-Type:MIME-Version:References:Message-ID: Subject:Cc:To:Date:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=/gHy+GdNzs4D2TsQCN8u16qL+8nU4EWhK3BfFSCKoyw=; b=KxvKkA76UQPm5kQQDGk+iSmIZd MnYFlB0Ya7z/9emLmF2LTC2SVj5fyOsdqkcabZLhRmUs559y56jXTqQMMjBXV2Y9ECofQH9gU9j4c fMepTbm6WypW8UoKY2ojORAuas0AGa2F2DYg0VBJngXtfSGj+Qwqe5iBdgQSMeWwjbjkODNpeQ05Y fQiRrAdOS2XgtqT7lBa8mCQC/hdS8UK84U47eReXftPQ+ynDxyfBsi3gk3LUKN+UuOtO9bNykYgs5 gCSedcaQKYMGoQYaOE/P49a1Zrr4OBhVwkJXBIVPkhh2MtUeKQlWS+tr02+aF7epyqR3DB/iV8Sha qCLuq3xA==; Original-Received: from tomas by mail.tuxteam.de with local (Exim 4.94.2) (envelope-from ) id 1pHp3Z-0003RM-A6; Tue, 17 Jan 2023 17:43:29 +0100 Content-Disposition: inline In-Reply-To: Received-SPF: pass client-ip=5.199.139.25; envelope-from=tomas@tuxteam.de; helo=mail.tuxteam.de X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.help:142318 Archived-At: --QsafCw1Ib++t6VnD Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Jan 17, 2023 at 07:29:32PM +0300, Jean Louis wrote: > * Michael Heerdegen [2023-01-17 18:58]: > > Jean Louis writes: > >=20 > > > Convention in multiplication is that there must be two numbers, that > > > is not followed, something else is followed. > >=20 > > There is no such convention. >=20 > Every elementary school is there to prove that convention of having at > least two addends for addition and two factors for multiplication > exists. You shouldn't generalise what "every elementary school..." does. You wouldn't have Bessel functions then. Higher maths are a superset of (and sometimes a correction of) what is taught in elementary schools. Lisp takes this inspiration from higher maths. John McCarthy [1] was a mathematician by training and most definitely had no qualms with zero- or one-term products and sums. You have no choice but (believe me, I studied that too). As soon as you have general sum and product formulae, you /need/ to define what happens in border cases, and those conventions you seem to dislike so much have turned out to be the most convenient, probably since the mid-19th century. But I think we've wrangled enough with this. At least me. If you don't want to accept that others (including mathematicians) prefer other conventions than you do... please, keep your bubble. I'll keep mine :) I'm out of this. Cheers --=20 t --QsafCw1Ib++t6VnD Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EABECAB0WIQRp53liolZD6iXhAoIFyCz1etHaRgUCY8bQKwAKCRAFyCz1etHa Rt8aAJ9eDgIzRuVAqBkCcn6ljIkIQk6JpwCfaQjBdxw912iGWfjTjfNLlvG5MXI= =NqHQ -----END PGP SIGNATURE----- --QsafCw1Ib++t6VnD--