Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: My reviewers think that halt deciders must report on the behavior
 of their caller --- Mike
Date: Fri, 11 Jul 2025 09:27:07 -0500
Organization: A noiseless patient Spider
Lines: 67
Message-ID: <104r6vr$1hntj$1@dont-email.me>
References: <101nq32$99vd$1@dont-email.me> <104fduv$2n8gq$2@dont-email.me>
 <104ftep$rafj$1@dont-email.me> <104h475$324da$1@dont-email.me>
 <a5f81886d091790185fb6434782dba91ad075fa5@i2pn2.org>
 <104hmkm$35gkb$2@dont-email.me>
 <f4f7163b6a6afcf9886f9d72d5b06075c0592338@i2pn2.org>
 <104i0ar$36mma$1@dont-email.me>
 <775a1f21c8d308989a8ef2a0afaae66c1609912b@i2pn2.org>
 <104jc8l$3jrpl$9@dont-email.me>
 <b8e7a597f05663513a7b08172a8f2f66a696e358@i2pn2.org>
 <104jpu7$3np76$1@dont-email.me> <104jsnj$3o6as$1@dont-email.me>
 <6e8be9ed51dfe82150849a119c5f6433bf7e2082@i2pn2.org>
 <104lscc$7l4q$11@dont-email.me>
 <f1f22192934ae3bbcb8df54b89a81eecc65ae710@i2pn2.org>
 <104n9p9$lg9t$1@dont-email.me>
 <a4901fd34fbd5d31d72f70436fba1a2b01b6773a@i2pn2.org>
 <104oetg$sdlv$1@dont-email.me>
 <f9de433c320c2d40bae3cc48ac004fcbfd24a4b5@i2pn2.org>
 <104plop$14f98$1@dont-email.me>
 <6c4ff091a855ee2dc1b75cfa089fd7d2574707ca@i2pn2.org>
 <104pt50$17cjo$1@dont-email.me> <104qji8$1c0m7$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 11 Jul 2025 16:27:08 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="77a1f53edba794dcd0b3794096040439";
	logging-data="1630131"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+xfVTS4/YrSPRi509zHAG+"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:XHk8TNCOU5DY9Bh7TjVWODk6sQc=
X-Antivirus: Norton (VPS 250711-6, 7/11/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <104qji8$1c0m7$2@dont-email.me>
Content-Language: en-US

On 7/11/2025 3:55 AM, Fred. Zwarts wrote:
> Op 11.jul.2025 om 04:33 schreef olcott:
>> On 7/10/2025 9:10 PM, Richard Damon wrote:
>>> On 7/10/25 8:27 PM, olcott wrote:
>>>> *I just proved the fact that*
>>>> (1) HHH(DDD) is executed
>>>> (2) HHH emulates DDD
>>>> (3) emulated DDD calls an emulated HHH(DDD)
>>>> (4) emulated HHH emulates another instance of DDD
>>>> (5) this DDD calls HHH(DDD) again
>>>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
>>>>
>>>> Its OK if you are no good with the x86 language
>>>> and can't understand the code. I began programming
>>>> way back when x86 programming was popular.
>>>>
>>>> Alternatively the details of how multi-tasking
>>>> works are too difficult for you. They are probably
>>>> too difficult for most programmers.
>>>>
>>>
>>> And thus you have proven my point that either you definition of what 
>>> the input is, or what HHH does is just a lie.
>>>
>>> But, it seems you are too stupid to understand that problem.
>>>
>>> Your claims are:
>>>
>>> 1) The input contains only the code shown, and thus does not contain 
>>> the code of HHH.
>>>
>>> 2) That HHH is simulating the input given to it, and thus JUST that 
>>> input.
>>>
>>> 3) That HHH simulates the code of HHH.
>>>
>>
>> The test program HHH is not the program under test DDD.
>> The program under test and the test program will never
>> stop running unless HHH aborts its DDD.
>>
> 
> Another vague claim without evidence.

It not vague at all. You just don't know what
the words mean.

> If DDD is under test, then also all function called by DDD are under 
> test, including HHH. 

Since neither HHH nor DDD will ever stop running
unless HHH aborts its DDD, non-halting criteria
has been met.

> You are confusing yourself with the construct where the program under 
> test is in the same memory as the program being tested. It would be much 
> easier to understand for you to keep the input for HHH separated from 
> HHH, by using a copy of HHH in the input. 

To divide the analysis of the program under test
from the test program we only see if DDD simulated
by HHH can reach its own simulated final halt state.


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