Re: [OFFTOPIC] Re: Appending lists

[Stefan Monnier]

> 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/

[ The relationship being that type theory is generally associated with
  constructive logic rather than with classical logic.  ]


-- Stefan