On 11 Jan 2014, at 11:01, LizR wrote:
On 11 January 2014 20:56, Stephen Paul King <[email protected]
> wrote:
Der Bruno,
The UD has no output. I guess you think to the trace of the UD, UD*,
which from the first person perspective is "entirely given", by the
1p delay invariance."
The UD never stops. If a process lasts forever, it is eternal,
then it does not ever complete and thus its results never obtain in
any way that can be considered as accessible.
This is true if you run the UD on a computer, but not if it exists
in Platonia. If the UD exists in an arithmetical wonderland,
Well, it exists in arithmetic. That arithmetic is a wonderland is a
late discovery :)
then it never stops,
PA can prove that the UD never stops. (RA cannot).
nor does it ever start,
OK. if "ever" alludes to the physical universe. But note that PA (and
RA) can prove that the UD has first step, and a second step, and a
third step, and do one.
Ex( x = the nth step of the UD work) *is* a theorem in PA, for each n.
In that arithmetical sense, we can say that the "UD starts".
nor does it do anything - it's simply there, in a timeless realm.
UD* does not do anything, but we can say that relatively to the
addition and multiplication laws, the UD does something, indeed, it
does UD*. But not as an output, it does it as its normal arithmetical
"activity".
The same can be said of you Liz? Your many (3p) activities are
"already" in UD*.
Assuming this is so, then time - or the appearance of time - has to
be recovered from the fact of its existence.
Yes, indeed.
Bruno
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
