On Wed, May 07, 2008 at 03:40:00PM +0200, Bruno Marchal wrote:
>
> even the non computable reals. And, given that from a first person
> point of view we cannot be aware of the infinitely many delays, we
> have to take into account, to eliminate white rabbits (or to refute
> comp) all the possible computations at once, including those
> dovetailing on the reals or on any non enumerable structure. I have
> discussed this with Schmidhuber on the list some time ago. The non
> enumerability of the reals cannot prevent the UD to dovetail on all the
> reals. From a third person point of view, everything is and remains
> enumerable, but from the first person point of view, the subjective
> indeterminacy has as domain something vastly bigger.
>
Actually, it just occurred to me that awareness of delays (step 5 of
the UDA) is where you and Schmidhuber part company. His speed-prior
discussion is all about assigning lower measure to computations that
take longer (eg have delays).
Going back to the ASSA vs RSSA divide, Schmidhuber's picture requires
the ASSA to work.
Cheers
--
----------------------------------------------------------------------------
A/Prof Russell Standish Phone 0425 253119 (mobile)
Mathematics
UNSW SYDNEY 2052 hpcoder.domain.name.hidden
Australia http://www.hpcoders.com.au
----------------------------------------------------------------------------
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu May 08 2008 - 00:48:23 PDT