[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Appending lists
From: |
tomas |
Subject: |
Re: Appending lists |
Date: |
Sat, 19 Jun 2021 08:52:44 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Fri, Jun 18, 2021 at 10:35:17PM -0400, Stefan Monnier via Users list for the
GNU Emacs text editor wrote:
> > 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.
>
> Notice that the above defines `general-like` but the definition does not
> mention `general-like`. So it is not the usual kind of recursion like
> the definition of factorial which refers to factorial.
>
> The circularity in the example above comes from the fact that
> `general-like` is a property, so `P` can also be the property
> `general-like`.
Put into another words, with each recursion step you transcend one
level in the Big Meta Game.
Dangerous stuff, I tell you ;-)
Cheers
- t
signature.asc
Description: Digital signature
- Re: [OFFTOPIC] Re: Appending lists, (continued)
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/21
- Re: [OFFTOPIC] Re: Appending lists, tomas, 2021/06/17
- Re: Appending lists, tomas, 2021/06/17
- Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: Appending lists,
tomas <=
- Re: Appending lists, Emanuel Berg, 2021/06/16
- Re: Appending lists, Emanuel Berg, 2021/06/16
- RE: [External] : Re: Appending lists, Drew Adams, 2021/06/16
- Re: [External] : Re: Appending lists, Emanuel Berg, 2021/06/16
- RE: [External] : Re: Appending lists, Drew Adams, 2021/06/16
- Re: [External] : Re: Appending lists, Emanuel Berg, 2021/06/16
- Re: [External] : Re: Appending lists, tomas, 2021/06/17
- [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, tomas, 2021/06/17
- Re: [External] : Re: Appending lists, Emanuel Berg, 2021/06/18