- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Bruno Marchal <marchal.domain.name.hidden>

Date: Mon, 8 Jul 2002 12:38:36 +0200

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

Received on Mon Jul 08 2002 - 03:38:53 PDT

Date: Mon, 8 Jul 2002 12:38:36 +0200

At 9:52 -0700 5/07/2002, Wei Dai wrote:

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

Received on Mon Jul 08 2002 - 03:38:53 PDT

*
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:07 PST
*