From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Emanuel Berg via Users list for the GNU Emacs text editor Newsgroups: gmane.emacs.help Subject: Re: Appending lists Date: Sat, 19 Jun 2021 01:47:15 +0200 Message-ID: <87v96a3fcs.fsf@zoho.eu> References: <87o8c8l32h.fsf@posteo.net> <87zgvs2bup.fsf@zoho.eu> <87y2bby1kr.fsf@zoho.eu> <20210615091834.GB24886@tuxteam.de> <87im2ewr3k.fsf@zoho.eu> <20210616072819.GB17919@tuxteam.de> <20210616151101.GB5669@tuxteam.de> <875yydtnqz.fsf@zoho.eu> <20210617075013.GE16310@tuxteam.de> Reply-To: Emanuel Berg Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37102"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) To: help-gnu-emacs@gnu.org Cancel-Lock: sha1:gzCTwGAQVHTDJb12errakV3Arm4= Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Sat Jun 19 01:48:12 2021 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 1luODc-0009Vp-DD for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 19 Jun 2021 01:48:12 +0200 Original-Received: from localhost ([::1]:60612 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1luODb-0006QN-DD for geh-help-gnu-emacs@m.gmane-mx.org; Fri, 18 Jun 2021 19:48:11 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39252) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luOCs-0006K8-Oq for help-gnu-emacs@gnu.org; Fri, 18 Jun 2021 19:47:26 -0400 Original-Received: from ciao.gmane.io ([116.202.254.214]:58072) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luOCr-0006rh-2k for help-gnu-emacs@gnu.org; Fri, 18 Jun 2021 19:47:26 -0400 Original-Received: from list by ciao.gmane.io with local (Exim 4.92) (envelope-from ) id 1luOCo-0008WW-Tc for help-gnu-emacs@gnu.org; Sat, 19 Jun 2021 01:47:22 +0200 X-Injected-Via-Gmane: http://gmane.org/ Mail-Followup-To: help-gnu-emacs@gnu.org Mail-Copies-To: never Received-SPF: pass client-ip=116.202.254.214; envelope-from=geh-help-gnu-emacs@m.gmane-mx.org; helo=ciao.gmane.io X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.249, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.23 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" Xref: news.gmane.io gmane.emacs.help:130997 Archived-At: tomas wrote: > Kind of. But different [1] > > Cheers > [1] https://en.wikipedia.org/wiki/Impredicativity "In mathematics, logic and philosophy of mathematics, something that is impredicative is a self-referencing definition." [1] Sounds like recursion to me, a recursive definition. The example that I found A definition is said to be impredicative if it generalizes over a totality to which the entity being defined belongs. [...] A person x is general-like if and only if, for every property P which all great generals have, x too has P. [2] is also what I would call recursion. Maybe it is the same thing, only from another branch of whatever scientific discipline it comes from, so has another name for that reason? The world is all about money and intelligence. Ha. [1] https://en.wikipedia.org/wiki/Impredicativity [2] https://iep.utm.edu/predicat/ -- underground experts united https://dataswamp.org/~incal