Returned mail: User unknown

1999-11-04 Thread Mail Delivery Subsystem

The original message was received at Thu, 4 Nov 1999 13:28:35 -0800
from smartlst@localhost

   - The following addresses had permanent fatal errors -
[EMAIL PROTECTED]

   - Transcript of session follows -
flist: Strange group or user id
451 [EMAIL PROTECTED] reply: read error from mail-relay3.idt.net.
451 [EMAIL PROTECTED] reply: read error from mail-relay4.idt.net.
... while talking to mail-pr.eisa.net.au.:
>>> RCPT To:<[EMAIL PROTECTED]>
<<< 550 <[EMAIL PROTECTED]>... User unknown
550 [EMAIL PROTECTED] User unknown


Reporting-MTA: dns; mx1.eskimo.com
Arrival-Date: Thu, 4 Nov 1999 13:28:35 -0800

Final-Recipient: RFC822; [EMAIL PROTECTED]
Action: failed
Status: 5.1.1
Remote-MTA: DNS; mail-pr.eisa.net.au
Diagnostic-Code: SMTP; 550 <[EMAIL PROTECTED]>... User unknown
Last-Attempt-Date: Thu, 4 Nov 1999 13:43:43 -0800


Received: (from smartlst@localhost)
	by mx1.eskimo.com (8.9.1a/8.8.8) id NAA29987;
	Thu, 4 Nov 1999 13:28:35 -0800
Resent-Date: Thu, 4 Nov 1999 13:28:35 -0800
Date: Thu, 4 Nov 1999 16:28:33 -0500 (EST)
From: "Jacques M. Mallah" <[EMAIL PROTECTED]>
To: everything-list <[EMAIL PROTECTED]>
Subject: Re: On begin very old
In-Reply-To: <[EMAIL PROTECTED]>
Message-ID: <[EMAIL PROTECTED]>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Resent-Message-ID: <"WGV_B.0.UK7.3gV8u"@mx1>
Resent-From: [EMAIL PROTECTED]
X-Mailing-List: <[EMAIL PROTECTED]> archive/latest/1350
X-Loop: [EMAIL PROTECTED]
Precedence: list
Resent-Sender: [EMAIL PROTECTED]



Re: tautology

1999-11-04 Thread Jacques M. Mallah

On Thu, 4 Nov 1999, Russell Standish wrote:
> > On Tue, 26 Oct 1999, Russell Standish wrote:
> > [JM wrote] [&BTW I am getting tired of RS omitting the attribution]
> 
> ^^^ Blame my email software. I almost always leave the .signatures in
> to make it obvious who I'm responding to.

Since your software is bad, you should add it manually.

> > It is obvious that p(Y1&X) = p(Y1&Z), because in all instances in
> 
> It is not obvious, for the same reason that p(Y1&X) = p(Y2&X) is not obvious.
> If QTI is true, then it is clearly not true. Don't assume what you're
> trying to prove.

Perhaps I should have been a little more clear.  I am discussing
the ASSA, not trying to prove it but to show that it is self consistent.
You are right in the sense that I left something out.  I am
assuming a reasonable measure distribution based on the physical
situation.  For example, the measure could be proprtional to the number of
implementations of a computation, as I like to assume.
It is also possible to assume an unreasonable measure
distribution, like the RSSA.  This of course would require new, strange
and complicated laws of psycho-physics.
So what I am really doing is showing that (ASSA + reasonable
measure (RM)) is self consistent.  However, the way we have been using the
term ASSA, RM has almost always been assumed.
In any case it is always true that some way of calculating the
measure distribution is needed.  Your claim was that the RSSA is needed.
My example shows that RM does the job.

 - - - - - - -
  Jacques Mallah ([EMAIL PROTECTED])
   Graduate Student / Many Worlder / Devil's Advocate
"I know what no one else knows" - 'Runaway Train', Soul Asylum
My URL: http://pages.nyu.edu/~jqm1584/




Re: Turing vs math

1999-11-04 Thread hal

Juergen Schmidhuber writes:
> Hal:
>
> >Approximate probabilities based on approximations to the
> >K. complexity of a string are no more computable than precise ones.
> >There is no fixed bound B which allows you to compute the K. complexity
> >of an arbitrary string within accuracy B.
>
> You should add "within a given fixed time interval."  Within finite
> (though unknown) time you can compute the K of finite string x. In
> general you'll just never know whether your current lowest upper bound
> on K is tight.

Right, but the fact that we observe probabilities means that they are
being computed to within some bounds, right?  And the bounds have to be
low enough that we don't observe discrepancies from what probability
theory would predict, it seems to me.

Kolmogorov complexity is uncomputable to the same extent and for much
the same reason that the halting problem is undecideable.  Yes, if you had
infinite time you could compute the K. complexity of any string, and you
could also solve the halting problem for any program.

Wouldn't you be uncomfortable with an ontology which required solving the
halting problem in order to produce the observable universe?  It seems
that requiring evaluating K. complexity, even to within some specific
bounds, raises the same difficulties.

Hal




Re: Turing vs math

1999-11-04 Thread Juergen Schmidhuber

> Step n owns 2^(n-1) initial segments.

Bruno, why are we discussing this? Sure, in finite time you can compute
all initial segments of size n.  In countable time you can compute one
real, or a countable number of reals.  But each of your steps needs more
than twice the time required by the previous step.  Therefore you need 
more than countable time to compute all reals.

> Now, could you give me a bitstring which is not generated
> by this countably infinite process ?

Sure. The output of the program "While TRUE print 1" won't
be computed in countable time by your procedure.

Juergen




Re: Turing vs math

1999-11-04 Thread Marchal

Jacques M. Mallah wrote:

>On 2 Mar -1, Marchal wrote:
>> Take the self-duplication experiment as a simple illustration, where 
>> after  having been read I am reconstitued at two different places. 
>> Nobody  (not even God) can compute where I will find myself after the
>> duplication.
>
>   That has nothing to do with computability!  The fact is, depending
>on how 'you' is defined, you are either at BOTH places, or at NEITHER
>place!

That has nothing to do with computability, but that has a lot to do
with the computationalist hypothesis: the hypothesis that there is a 
level of description such that I survive a (finitely describable) 
digital functional substitution at that level.

Now you are partially right. But you should have said: ``The fact is,
depending on how 'you' is defined, you are either at BOTH places, or 
at NEITHER place ... OR at one or the other place".

Precisely: if you survive classical teleportation, you survive classical
duplication. OK ? (this need a minimal amount of folk-psychology).
Now if you define ``you" by the 3-person description of your body at
the correct level of description then indeed you will be at BOTH places.
If you define ``you" by an owner of your personal historical-memories 
(such as those you would put in a diary), i.e. what I call the 1-person,
then after the duplication one of such ``you" will write in (each) 
diary book either ``I am in Washington" (let us say), and the other 
``you" will write ``I am in Moscow".
No 1-person will write ``I am simultaneously" at Moscow and Washington.
It is easy to show that before the duplication the result of the 1-self
localisation experience after the duplication is totaly undetermined.
That is what I call the comp-indeterminism.
And that is a major step in my argument that IF we are digitalisable,
then the physical sciences are reducible to the psychology of 
digital machines. In particular quantum indeterminism will be 
explained by the comp-indeterminism.

With an ad hoc definition of ``you", you can be at NEITHER place. But
with comp this amount to say that ``I" totaly disappear at each instant.
It means that my expected life duration is O second.
In that case I would prefer to abandon comp, for I take it for sure
that I have been living for at least 2 seconds.

Bruno