Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: D(D) simulated by H cannot possibly reach past its own line 03
Date: Mon, 3 Jun 2024 07:25:48 -0500
Organization: A noiseless patient Spider
Lines: 75
Message-ID: <v3kcod$3stk9$3@dont-email.me>
References: <v12pgu$im12$1@dont-email.me> <v3hf97$3a0km$1@dont-email.me>
 <v3i0ri$3cpu7$4@dont-email.me> <v3js08$3q76h$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 03 Jun 2024 14:25:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f629d257ac302b24ac32e99a4ff4b1b3";
	logging-data="4093577"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+Z4xFgEWF8DTIKd9VDpkjV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EqmVuXbQDpCg5Q2f8iyjBfGArlM=
In-Reply-To: <v3js08$3q76h$1@dont-email.me>
Content-Language: en-US
Bytes: 3626

On 6/3/2024 2:39 AM, Mikko wrote:
> On 2024-06-02 14:50:26 +0000, olcott said:
> 
>> On 6/2/2024 4:50 AM, Fred. Zwarts wrote:
>>> Op 03.mei.2024 om 15:40 schreef olcott:
>>>> 00 int H(ptr x, ptr x)  // ptr is pointer to int function
>>>> 01 int D(ptr x)
>>>> 02 {
>>>> 03   int Halt_Status = H(x, x);
>>>> 04   if (Halt_Status)
>>>> 05     HERE: goto HERE;
>>>> 06   return Halt_Status;
>>>> 07 }
>>>> 08
>>>> 09 void main()
>>>> 10 {
>>>> 11   H(D,D);
>>>> 12 }
>>>>
>>>> We are examining the behavior of D(D) for every possible H/D pair
>>>> where 1 to N steps of D(D) are simulated by H.
>>>>
>>>> *Execution Trace*
>>>> Line 11: main() invokes H(D,D) that simulates D(D)
>>>>
>>>> *keeps repeating* (unless aborted)
>>>> Line 01
>>>> Line 02
>>>> Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>>>>
>>>> *Simulation invariant*
>>>> D correctly simulated by H cannot possibly reach past its own line 03.
>>>
>>> The Linz proof is based on the pathological relation ship that D 
>>> contradicts the result of H. This is expressed in lines 04, 05, 06 of 
>>> D, above.
>>> It is strange that olcott claims that the simulation never sees the 
>>> pathological part of D. He now seems to shift the meaning of 
>>> pathological to the mere fact that D calls H. Lines 04, 05, and 06 
>>> are completely irrelevant.
>>> In fact, any function that calls H now become pathological.
>>>
>>> E.G. if we replace D with a function P that only returns its own 
>>> Halt_Status:
>>>
>>> 01 int P(ptr x)
>>> 02 {
>>> 03   int Halt_Status = H(x, x);
>>> 04
>>> 05
>>> 06   return Halt_Status;
>>> 07 }
>>>
>>> Then we would normally expect that, because H is required to halt, P 
>>> would halt as well. But the simulation of P by H does not halt. So, 
>>> P, when it halts, reports that it not halting.
>>>
>>> The problem here is, that H is unable to simulate itself to its final 
>>> state. That has no relation with the Linz proof, it is a problem of H.
>>>
>>> So, there is another *Simulation invariant*
>>> H correctly simulated by H cannot possibly reach its own return.
>>>
>>
>> Already addressed in another reply.
> 
> Which reply? The one where you said you made a mistake? Or typo?
> 

I am not going to answer the same question from multiple people.

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