Bruno Marchal wrote:
> Le 08-août-06, à 05:34, Stathis Papaioannou a écrit :
>
> >
> > Bruno Marchal writes (quoting SP):
> >
> >>> ...a controlled
> >>> experiment in which measure can be turned up and down leaving
> >>> everything else
> >>> the same, such as having an AI running on several computers in
> >>> perfect
> >>> lockstep.
> >>
> >>
> >> I think that the idea that a lower measure OM will appear more complex
> >> is a consequence of Komogorov like ASSA theories (a-la Hal Finney,
> >> Mallah, etc.). OK?
> >
> > I understand the basic principle, but I have trouble getting my mind
> > around
> > the idea of defining a measure when every possible computation exists.
>
>
> I am not sure I understand. All real number exist, for example, and it
> is the reason why we can put a measure on it.
I'm confused. In previous conversations you have claimed not to
known what "exists" means.
> All computations exist
> (this is equivalent with arithmetical realism) yet some are or at least
> could be relatively more frequent than others.
If computation are simply integers, they all have the same measure.
If there is some more complex relation, the existence of computations
is not guaranteed by the existence of integers. Any computer
progamme can be represented as a sting of 1's and 0's, but only
int the context of some particular computer.
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
Received on Tue Aug 08 2006 - 11:40:25 PDT