On 28 Jul 2009, at 21:52, Brent Meeker wrote:
>
> Bruno Marchal wrote:
>>
>> On 28 Jul 2009, at 13:38, David Nyman wrote:
> ...
>>> be conceived for this purpose to
>>> be 'sequentially resolving' each 'OM-programme-step'? Indeed my
>>> understanding is that this dovetailed sequentiality is actually a
>>> key
>>> conceptual element of COMP.
>>
>> Not sure to see what you mean. It is a key to be sure to go through
>> all
>> 3-OMs, with the correct (recursively invariant) redundancy (without
>> which there would indeed be no measure possible).
>
>
> What does "recursively invariant redundancy" mean? Does it refer to
> the fact
> that the UD will compute the same state infinitely many times?
Yes.
Redundancy means here that the UD generates identical mind states
infinitely often, in infinitely many identical and different
histories, according to the level of description chosen, and it
dovetails on the products of all those stories with the reals, and
other "non computable" structure. (And this does change the first
person views statistics).
Recursively Invariant, means here, roughly speaking that the choice of
which particular UD you are using, does not change the internal
views. Be it FORTRAN, LISP, quantum topology, or Robinson Arithmetic.
If the observed physical reality is described by a quantum topology,
or by a quantum topological universal dovetailer, then, to solve the
mind-body problem, you have to justify quantum topology from Robinson
Arithmetic, or any recursively isomorphic structure. To start with
quantum topology for the universal base would not been wise (it would
be either treachery or a very confusing methodology).
Note: There are many technical intricacies here, and AUDA is a
technical way to bypass most of them.
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
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 Jul 30 2009 - 13:33:08 PDT