Deutsch   English   Français   Italiano  
<v3q72l$q84q$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: John Smith <news2@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting ---Mike
 Terry Error
Date: Wed, 5 Jun 2024 19:25:41 +0200
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <v3q72l$q84q$1@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me> <v3oeh5$jthg$2@dont-email.me>
 <v3of8e$lirl$1@dont-email.me> <v3ofld$jthh$1@dont-email.me>
 <v3oh8l$pi6u$3@dont-email.me> <v3ohkh$jthg$4@dont-email.me>
 <87frtr6867.fsf@bsb.me.uk>
 <p5ydnbxV2pHtF_37nZ2dnZfqn_WdnZ2d@brightview.co.uk>
 <v3q4ut$11tp3$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 05 Jun 2024 19:25:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e20281d0cb42f07e03be2b832eb82761";
	logging-data="860314"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18gfFuCk6Dt0vuR48emhyGM"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:1WkzpKR6ErjQs1GsYXa6Yx5Js+o=
In-Reply-To: <v3q4ut$11tp3$1@dont-email.me>
Content-Language: en-US
Bytes: 3165

On 5/06/24 18:49, olcott wrote:

> My idea was to have the executed HH pass a portion of what is
> essentially its own Turing Machine tape down to the simulated
> instances of HH. It does do this now.

In other words, your idea is to have an incorrect simulation.

DD(DD) doesn't get passed a portion of any other machine's tape. If the 
simulation does, then the simulation is simulating something other than 
DD(DD). It might be simulating DD(DD,SecretParameter).

> The only issue left that seems to not matter is that each simulated
> HH needs to see if it must initialize its own tape.

Why shouldn't it always initialize its own tape?

  Since this
> has no effect on its halt status decision I don't think it makes
> any difference.
> 
> I will double check everything to make sure there is no data passed
> from the outer simulations to the inner simulations that can possibly
> be used for any halt status decision by these inner simulated
> instances of HH.

There are actually two different ways that it's possible to understand 
your program.

The inner DebugStep doesn't work the same as the outer DebugStep. 
Depending on which kind of viewpoint we use, we can say that the inner 
DebugStep is using secret information so it knows to work differently, 
or we can say that the inner DebugStep is normal (if directly executed), 
but it simulates differently from its direct execution (an incorrect 
simulation).

> 
> I really appreciate your help on this.
>