[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [OFFTOPIC] Re: Appending lists
From: |
Arthur Miller |
Subject: |
Re: [OFFTOPIC] Re: Appending lists |
Date: |
Mon, 21 Jun 2021 17:07:33 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> It seems like it is impossible, or at least very difficult, to give a
>> definition of what time is without referring to time itself, in some
>> form. Just wonder if it is possible to aplly the type theory to solve
>> the problem, I never had time to read those works by Russel myself.
>
> That reminds me of:
>
>
> https://www.quantamagazine.org/does-time-really-flow-new-clues-come-from-a-century-old-approach-to-math-20200407/
Interesting article. Haven't heard of Gisin and "intuitionists math", so
I will have a lot to read. Thanks.
- Re: Appending lists, (continued)
- Re: Appending lists, Emanuel Berg, 2021/06/16
- [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 <=
- 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, 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