[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [OFFTOPIC] Re: Appending lists
From: |
tomas |
Subject: |
Re: [OFFTOPIC] Re: Appending lists |
Date: |
Thu, 17 Jun 2021 09:51:40 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Wed, Jun 16, 2021 at 10:41:18PM -0400, Stefan Monnier via Users list for the
GNU Emacs text editor wrote:
> >>>> Just to show that you should never say never:
> >>> Hey, that's cheating :-)
> >> Impredicativity is borderline, indeed.
> > Impredicativity, what's that, recursion?
>
> (with-lecture-mode
:-)
> Kind of, except the cycle is not "definition refers to itself" (the
> "traditional" form of recursion) but rather "definition can be applied
> to itself" as in the first sentence quoted above ;-)
...of that kind "All type theorists shave those philosophers who don't
shave themselves" or some such ;-)
Cheers
- t
signature.asc
Description: Digital signature
- [OFFTOPIC] Re: Appending lists, (continued)
- [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/16
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Eduardo Ochs, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Emanuel Berg, 2021/06/18
- 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 <=
- 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, 2021/06/19
- 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