Le 01-févr.-07, à 18:46, Brent Meeker a écrit :

>
> Bruno Marchal wrote:
>>
>> Le 29-janv.-07, à 18:19, Brent Meeker a écrit :
>>
>>> Bruno Marchal wrote:
>>>> Le 28-janv.-07, à 20:21, Brent Meeker a écrit :
>>>>
>>>>
>>>>
>>>>> OK, but that means "observer moments" are not fundamental and the
>>>>> "illusion" of their continuity may be provided by the continuity of
>>>>> their underpinning.  But I don't see how a strictly stepwise 
>>>>> discrete
>>>>> process as contemplated in the UD can provide that continuity.  It
>>>>> was
>>>>> my understanding that it assumed consciousness could be provided 
>>>>> by a
>>>>> series of disjoint states.
>>>>
>>>>
>>>>
>>>> Yes. But a series of discrete states (or their godel number) has to 
>>>> be
>>>> related by a computation for making sense.
>>>>
>>>> So it makes no sense to say that a sequence of number is a
>>>> computation.
>>>> You have to fix a "universal environment". Let us fix once and for 
>>>> all
>>>> a godel numbering. Then it is only relative to some universal number
>>>> that a sequence of number can be counted as a computation.
>>> That sounds good - but I don't understand "universal environment" and
>>> "universal number".  We adopt a goedel numbering of arithmetic
>>> expressions.  Do we then represent the computation by a sequence of
>>> goedel numbers, each number corresponding to a mental state (assuming
>>> the computation is a simulation at a sufficient level to satisfy
>>> comp)?  But what number is "universal"?
>>
>>
>> OK, remind me if I forget to comment this, but to explain what happens
>> here I do say a little more on the Fi and Wi. A universal number is
>> just the code of a universal machine or "interpreter" (in a nutshell).
>> I will come back on this.
>>
>>
>>
>>
>>
>>
>>>> Now, from a first person point of view, we don't know in which
>>>> computation we belong. So from a first person point of view, we have
>>>> to
>>>> take all equivalent computations (number sequence) relative to all
>>>> universal number.
>>>>
>>>> This is enough to explain why from first person points of view,
>>>> computations seem to require a continuum. In a sense we have to be
>>>> related to the continuum of computations going through our states 
>>>> (it
>>>> includes the infinity of computations describing finer grained
>>>> histories with respect to our comp level of substitution.
>>> OK. So the order of computation provides the order of conscious 
>>> states
>>> (which may really be very complex and include more than just atoms of
>>> experience); it is not inherent in the states.  And this order is
>>> relative to different  goedel numberings?
>>
>>
>> I am not sure to understand the relation of your quote of me and the
>> idea that the order of the computations provides the order of the
>> conscious state, unless you are refering to the logical order defined
>> by each computational state. If you run the UD, some "internal first
>> person future" could be implemented before some internal first person
>> past, buut this has nothing to do with the logical or arithmetical
>> order. OK?
>> I intend to explain a bit more through the use of the Fi and Wi, (= 
>> the
>> partial recursive functions and their domain of definition), but it
>> would help me if you could explain what exactly (or more precisely) 
>> you
>> mean by "order of computation". First person experiences have to be
>> related to infinities of computational histories, right?
>
> I'm not sure.  I was considering two kinds of order of computation. 
> One is the time order in the real world of processes in my brain or a 
> computer simulating me.


Assuming some primitive existence of "real world" or "brain processes", 
hypotheses whose coherence is put in doubt with the comp hypothesis.




>  The other was the order of generation of "states" by the UD.


This is a bit ambiguous. The UD dovetails on all computations. Let us 
write (comp i k j) for k-th step of computation i on input j.
One computation can then be identified (in a first approximation at 
least) with a sequence like:
(comp 777 1 24) (comp 777 2 24) (comp 777 3 24) (comp 777 4 24) (comp 
777 5 24) (comp 777 6 24) (comp 777 7 24) (comp 777 8 24) (comp 777 9 
24) (comp 777 10 24) ....
This represents the computation of F_777(24), that is the 777th partial 
recursive function on input 24.
Now we know that F_777(24) could be undefined, and that is why the UD 
has to dovetetail. So the order of the "states" generated by the UD is 
not, strictly speaking the order of states defining a computation.
Also, the UD is infinitely redundant: in particular the function F_777 
has other code, for example 8888, i.e. F_777 = F_8888. It could be that 
the computation (comp 777 i 24) and (comp 8888 i 24) are equivalent 
(same algorithm) or completely different (different algorithm), but 
actually it is not easy at all to define such equivalence relation 
between computation an states.
I mean, even from a pure third person point of view, it is not obvious 
to define computations and order on them.
Then, from a first person point of view, the difficulty is made bigger. 
It could be, that although F_a and F_b computes different function (and 
thus follows completely different algorithm), it could be that (comp a 
234 24) and some sub-state of (comp b 34 1000), say, are equivalent 
from a first person point of view, which needs to take into account all 
the infinity of computations going through my "current state".
So I'm afraid that at some point we have to take a more abstract route 
(like with the combinators, which better represent possible 
computations, or like with the lobian interview).
What is correct, and has been singled out by Stathis, is that comp 
eludes the "material implementation" problem, given that we take all 
abstract possible relationship between those objects, and they are all 
well defined as purely number theoretical relations. Note that this is 
something I have tried to explain to Jacques Mallah sometimes ago, but 
without much success. This does not make much sense in ASSA approaches, 
but, like George Levy I think, I don't believe in absolute probability 
of being me, or of living my current "observer moment". Such a 
probability can be given the value one (said George) but it is close of 
saying that the universe is here, which tells us nothing, really. It is 
like answering "who are you?" by I am me".



>  I understand from your answer above that the order of generation, in 
> either case, is regarded as contingent and that 1st person experience 
> is supposed to be ordered by inherent properties of the states.

 From a first person point of view, if I am in state A, my next state 
will be B in case most computation/histories going through A are led to 
B in some direct way (with few intermediary states). But all states 
have intermediary states, like all possible detour an electron can make 
...



>
> If this is correct, it leads back to the question of how big is a 
> "computational state".

I'm not sure. From the first person point of view, given that we have 
to take into account all "histories"/3-computations, we have to 
consider all possible "equivalent" computational state, and this means 
the "bigness" you are alluding is not even bounded. You have to 
consider the (non effective) infinity of states like: (comp 777 1 24) 
(comp 8888 1 24) (comp 4560901 1 24) (comp 5676543091933 4 24) ... (an 
infinity). And perhaps on different arguments too, ...
Now I have chose to interview the lobian machine, because I know that 
it is very hard to just define a notion of computational equivalence.


> It seems that for the inherent order to be coded in the state, the 
> state must be much bigger than what one is conscious of in an 
> "observer moment".

This is too much ambiguous.



> It also implies, contra Stathis, that one cannot subdivide a conscious 
> state very finely in time.


Eventually consciousness (or Plotinus' Universal Soul, or its 
arithmetical interpretation) will be the responsible of time. From a 
third person point of view, everything is discrete ... and atemporal. 
Recall that UDA+MGA (Movie-Graph-Argument) makes it highly implausible 
that consciousness supervene on a brain process. I know that is 
counter-intuitive ...



> If you could then the finer you divided it, the less information it 
> contained, then the more histories it would be consistent with.


This is correct, or at least makes sense. It is the main reason why 
"first person amnesia" correspond to third person fusion of stories. 
And if you forget all your beliefs, then your "theory" (or 
belief-system) will be consistent with all histories. This is akin to 
quantum erasure and the available technics for resuscitating 
Schroedinger cat ( after they have been observed dead).




> So how do you decide how big a computational state is?

By the minimal number of bits to describe it perhaps. But I don't have 
to measure that, given that for extracting physics from comp I have to 
"integrate" on all computational stories. 'course, it is not easy.



>  If you make it big enough it may pick out a unique history, or at 
> least one that is unique over a significant time span (say many 
> seconds)?


I don't think so. Incompleteness prevents such type of unicity. You can 
add any effective infinity of axioms to a theory, it will keep an 
infinity of non equivalent models/maximal consistent extension. And 
this is worst with histories in place of models. Only by adding some 
actual strong (non effective) axioms or bits, you can perhaps 
singularize locally ("many seconds?") the history. This could lead to a 
"Bohmian" many-world interpretation of arithmetic. I doubt this make 
sense, but, strictly speaking, this cannot be entirely dismissed even 
with comp (with, the, very low substitution level: comp remains true, 
but false FAPP(*). The extremely weird behavior of prime numbers could 
perhaps justifies such ONE-world-selction from comp as I said once.

Bruno

(*) For All Practical Purpose


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@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to