Re: teaching relational basics to people, questions
From: rpost <rpost_at_pcwin518.campus.tue.nl>
Date: Fri, 20 Nov 2009 20:18:56 +0000 (UTC)
Message-ID: <he6tjg$tlg$1_at_mud.stack.nl>
Date: Fri, 20 Nov 2009 20:18:56 +0000 (UTC)
Message-ID: <he6tjg$tlg$1_at_mud.stack.nl>
Sampo Syreeni wrote:
>To me it would seem much more natural to model time as a full
>continuum of precise moments in time, and to constrain such real life
>models using a finite (but otherwise unlimited cardinality) set of
>FOPL constraints, relying on the full linear order on top of the
>reals, on top. I.e. to model time using CW-complexes over the real
>line (i.e. finite unions of open, closed and semi-closed intervals of
>reals), in a fully discrete but also fully variable precision
>approximation.
-- ReinierReceived on Fri Nov 20 2009 - 21:18:56 CET