At 9:52 -0700 5/07/2002, Wei Dai wrote:
>On Fri, Jul 05, 2002 at 12:05:02PM +0200, Bruno Marchal wrote:
>>  But from the point of view of the *conscious* observer there is
>>  an intrinsical ignorance (for sound machine) about *which* histories
>>  he/it/she/they participate, and the uda thougth experiment shows that in
>>  some sense we belong to all, but we differentiate along consistent 
>>many path.
>>  We face a measure problem. Actually we face two measure problems, due to
>>  the 1/3 distinction.
>
>Here is something basic in your ideas which I've never understood. What
>does "conscious observer" have to do with "sound machine"? I understand
>that an observer can be considered as a machine, but how can an observer
>be sound or not sound? Soundness as far as I understand it applies to an
>axiomatic theory, that is, the theory is sound if you can't deduce "false"
>from its axioms. Now if you have a machine that enumerates theorems of an
>axiomatic theory, maybe you can say that it's sound if the theory itself
>is sound. But obviously an observer is not a theorem producing machine, so
>what does it mean for an observer to be a sound machine?


If you cannot deduce false from a theory, the theory is said consistent.
Soundness is a more general semantical notion which implies consistency, but
the reverse does not hold in general. Ah! I see you corrected yourself
so I will not insist.

The relation between "conscious observer" and "sound observer" is based
on the fact that (motivated by the uda which shows that a UTM which introspect
itself should find the "physical laws") I purposefully limit myself in
interviewing sound UTM. By comp, conscious observer are machine, and it is
just more in line with the comp hyp to ask sound UTM. Of course those UTM
are seen as producing arithmetical propositions (theorems).
I suppose those machine are
capable of proving enough theorems in arithmetic. Those machines are 
extended UTM.
In fact in my thesis I just
say that I interrogate LOBIAN machine, which have just the sufficient amount
introspective and provability capacities to be able to describe the emerging
"physical laws" in their language (this gives the Z logics ...).

The idea that Godel's theorem applies to machine has been used by J.R. Lucas
and Roger Penrose, for arguing that we are not machine. This is well know and
everybody knows the argument is wrong. Even Penrose corrects it in his second
book. Godel's incompleteness theorem for (proving) machines just say that
a machine cannot prove to be any "particular" machine.
  A machine cannot knows its own program code (but can bet on it). 
Search perhaps
the list archive for "benaceraff" which is the first guy who has undertand this
point. Or, please, insist for better explanation from me!

In a nutshell, just remember that I limit my machine's interviews to 
machines which
beliefs (= propositions they just print out!) are sound and closed for usual
rules of formal arithmetic.  With comp it applies to us, *as far* as we are
sound, in our "3-person scientific" communcations. More psychological
logics will be account for by the intensional (modal) variants of the
provability logic.
I will probably say a little more in my answer of your other post later.

Bruno




Reply via email to