Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Boilerplate Reply -- different simulation
Date: Sat, 22 Jun 2024 08:08:51 -0500
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <v56id4$3or0r$3@dont-email.me>
References: <v45tec$4q15$1@dont-email.me> <v4u3jl$1se49$1@dont-email.me>
 <v4umvh$1vpm0$7@dont-email.me> <v50d8k$2e51s$1@dont-email.me>
 <v50dtp$2e5ij$1@dont-email.me> <v51f4t$2k8ar$1@dont-email.me>
 <v51ge4$2kbbe$2@dont-email.me> <v52mil$jund$6@i2pn2.org>
 <v52n3h$2v5s6$1@dont-email.me> <v52p32$jund$7@i2pn2.org>
 <v52pht$2vh9u$1@dont-email.me> <v52qat$jund$9@i2pn2.org>
 <v52s4l$2vlma$1@dont-email.me> <v52td1$june$1@i2pn2.org>
 <v52tul$307ee$1@dont-email.me> <v5435h$lkkb$4@i2pn2.org>
 <v54bcf$38n2k$1@dont-email.me> <v54buj$lkkc$4@i2pn2.org>
 <v54cia$38n2k$3@dont-email.me> <v54d41$lkkc$6@i2pn2.org>
 <v54dqe$394bf$1@dont-email.me> <v54eko$lkkb$7@i2pn2.org>
 <v54g5b$394bf$3@dont-email.me> <v54hhp$lkkb$9@i2pn2.org>
 <v54i77$39s3a$2@dont-email.me> <v54iul$lkkc$9@i2pn2.org>
 <v54jo6$3a7vo$1@dont-email.me> <v54kik$lkkb$10@i2pn2.org>
 <v54l91$3a7vo$3@dont-email.me> <v54m58$lkkc$12@i2pn2.org>
 <v54p66$3b4at$1@dont-email.me> <v55iph$nhbb$1@i2pn2.org>
 <v55jba$3jg9i$1@dont-email.me> <v5633t$o4uv$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 22 Jun 2024 15:08:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="52f855e26d0a069f32049d753a1d455d";
	logging-data="3959835"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/FJ49wQe1HeSrJXKN0CqMF"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EI2fIXzUVNXRLsLKXu/Xmi3RCRM=
In-Reply-To: <v5633t$o4uv$1@i2pn2.org>
Content-Language: en-US
Bytes: 4362

On 6/22/2024 3:47 AM, joes wrote:
> Am Fri, 21 Jun 2024 23:18:50 -0500 schrieb olcott:
>> On 6/21/2024 11:09 PM, joes wrote:
>>> Am Fri, 21 Jun 2024 15:52:21 -0500 schrieb olcott:
>>>> On 6/21/2024 3:00 PM, Richard Damon wrote:
>>>>> On 6/21/24 3:45 PM, olcott wrote:
>>>>>> On 6/21/2024 2:33 PM, Richard Damon wrote:
>>>>>>> On 6/21/24 3:19 PM, olcott wrote:
> 
>>> Like every other input, it should map to the behaviour of D(D).
>>> You are talking about H(H, D(D)), which is H simulating itself.
> 
>>>>>>>> When H is asked H(D,D) this DOES NOT map to behavior that halts.
>>> Only if H returns.
> 
>>>>>> If one "defines" that the input to H(D,D) maps to the behavior of
>>>>>> D(D) yet cannot show this because it does not actually map to that
>>>>>> behavior *THEN THE DEFINITION IS SIMPLY WRONG*
>>> Ridiculous. H is wrong. Your modification is not useful.
> 
>>>> No you cannot show that the mapping for the input to H(D,D) maps to
>>>> the behavior of D(D).
>>> If it doesn't, H is not a simulator.
>>> The input D(D) absolutely describes the behaviour of that machine.
>>> H just can't map it.
>>> Either H is not a decider or it returns.
> 
>>>> The directly executed D(D) is essentially the first call in a
>>>> recursive chain where the second call is always aborted.
>>>> *these two calls are not identical*
>>> They most definitely are. The input is the same.
> 
>>>> H(D,D) is not free to simply assume that the call from D(D) to H(D,D)
>>>> will return.
>>> Yes it is, because it is a decider. It (incorrectly) aborts
>>> nonterminating inputs.
>> The behavior of D correctly simulated by H1 is the same as the behavior
>> of the directly executed D(D) because D does not call H1(D,D) in
>> recursive simulation.
> D1 however, which calls H1(D1, D1), can't be decided by H1.
> 

When you change the subject rather than address the point
at hand I take this to mean that you do not want an honest dialogue.

>> The behavior of D correctly simulated by H is NOT the same as the
>> behavior of D correctly simulated by H1 because D DOES call H(D,D) in
>> recursive simulation.
> The simulation by H is then of course not correct.
> 
> What about the other points above?
> 

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer