help-gnu-emacs
[Top][All Lists]
Advanced

[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: Fri, 18 Jun 2021 01:53:38 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> Arthur Miller [2021-06-17 08:09:08] wrote:
>> Can you anyhow apply type theory to a definition of time, without refering
>> to time itself?
>
> I think it depends on when you ask the question,

:-)

Sure, but that sounds like we are still refering recursively to time
when saying so.

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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]