Re: [OFFTOPIC] Re: Appending lists

[Arthur Miller]

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.