From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jean Louis Newsgroups: gmane.emacs.help Subject: Re: [External] : Re: (*) -> 1 Date: Fri, 20 Jan 2023 10:40:04 +0300 Message-ID: References: <87h6wpkrlq.fsf@web.de> <87zgahj7h3.fsf@web.de> <878rhzvs1h.fsf@web.de> <87ilh28w9u.fsf@web.de> <87tu0m6wn5.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="38644"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mutt/2.2.9+54 (af2080d) (2022-11-21) Cc: Drew Adams , "help-gnu-emacs@gnu.org" To: Michael Heerdegen Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Fri Jan 20 09:30:17 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 1pImmu-0009ru-V3 for geh-help-gnu-emacs@m.gmane-mx.org; Fri, 20 Jan 2023 09:30:16 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pImmV-0007Mf-E7; Fri, 20 Jan 2023 03:29:51 -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 1pImmT-0007Lf-JO for help-gnu-emacs@gnu.org; Fri, 20 Jan 2023 03:29:49 -0500 Original-Received: from stw1.rcdrun.com ([217.170.207.13]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pImmR-0005iA-VR for help-gnu-emacs@gnu.org; Fri, 20 Jan 2023 03:29:49 -0500 Original-Received: from localhost ([::ffff:197.239.15.2]) (AUTH: PLAIN admin, TLS: TLS1.3,256bits,ECDHE_RSA_AES_256_GCM_SHA384) by stw1.rcdrun.com with ESMTPSA id 0000000000103951.0000000063CA50FE.000027D5; Fri, 20 Jan 2023 01:29:49 -0700 Mail-Followup-To: Michael Heerdegen , Drew Adams , "help-gnu-emacs@gnu.org" Content-Disposition: inline In-Reply-To: <87tu0m6wn5.fsf@web.de> Received-SPF: pass client-ip=217.170.207.13; envelope-from=bugs@gnu.support; helo=stw1.rcdrun.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-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:142445 Archived-At: * Michael Heerdegen [2023-01-20 00:31]: > Drew Adams writes: > > > Bingo. Ditto. Shoulda just considered it > > as trolling perhaps. In any case, shoulda > > stopped trying to help long ago. Gave the > > benefit of the doubt; wasted time helping. > > Maybe Dunning-Kruger? Whatever. > > Exactly my thoughts. This was really grotesque. He just didn't even > recognize how much energy people invested trying to help. Or maybe he > was just waiting for someone saying he is right instead of caring about > other answers. And now because you have not found use in Lisp, which I still believe must exist, or could exist in some early Lisp, all what you are left is to go with the mob and participate in profanities. I did not ask neither force you, or hired you, to give me X number of mathematical theories. I have asked how is that useful in Lisp. Because I can also make a function like (defun i-like-it () (message "i-like-it")) and claim that it is alright to result with "I like it" because I like it. However, that does not have practical use for people. And that is the foundation of my question, no matter how much Lisp authors liked mathematics. You participate voluntary in conversation. It is not employment. You do not need to participate in any conversation. I am not waiting for anybody to tell me how I am wrong, or right. I want to understand what was meant with making (*) ➜ 1 in the first place. So far I can only see that set theory is included because it exists, and because somebody liked it, or was thinking it should be so. I cannot see the practical use of it. You could as well tell "I do not know any practical use of it", and leave out of conversation. -- Jean Take action in Free Software Foundation campaigns: https://www.fsf.org/campaigns In support of Richard M. Stallman https://stallmansupport.org/