Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: HHH(DDD) is correct to reject its input as non-halting ---
 EVIDENCE THAT I AM CORRECT
Date: Wed, 18 Jun 2025 11:36:05 +0200
Organization: A noiseless patient Spider
Lines: 62
Message-ID: <102u1a5$31q0f$1@dont-email.me>
References: <102n9bo$13mp8$3@dont-email.me> <102om2v$1h6pn$2@dont-email.me>
 <102q5m6$1tklk$1@dont-email.me> <102rcg2$29lrl$1@dont-email.me>
 <102rugu$2doc9$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 18 Jun 2025 11:36:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="cbe59beacd6fd352315816fb5d824c89";
	logging-data="3205135"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+m1f4bHe6ko46UEGcG916b"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:CSczXhhB2cdxnNrMTFEvD5H5eYQ=
In-Reply-To: <102rugu$2doc9$8@dont-email.me>
Content-Language: nl, en-GB

Op 17.jun.2025 om 16:36 schreef olcott:
> On 6/17/2025 4:28 AM, Fred. Zwarts wrote:
>> Op 17.jun.2025 om 00:26 schreef olcott:
>>> On 6/16/2025 3:53 AM, Fred. Zwarts wrote:
>>>> Op 15.jun.2025 om 22:10 schreef olcott:
>>>>> void DDD()
>>>>> {
>>>>>    HHH(DDD);
>>>>>    return;
>>>>> }
>>>>>
>>>>> When I challenge anyone to show the details of exactly
>>>>> how DDD correctly simulated by ANY simulating termination
>>>>> analyzer HHH can possibly reach its own simulated "return"
>>>>> statement final halt state they ignore this challenge.
>>>>
>>>> It seems very difficult for you to read.
>>>> We clearly stated that the challenge is improper.
>>>
>>> Are you too stupid to understand that dogmatic
>>> assertions that are utterly bereft of any supporting
>>> reasoning DO NOT COUNT AS REBUTTALS ???
>>
>> No, you are too stupid to realise that challenging for a recipe to 
>> draw a square circle does not count as a proof that square circles exist.
>>
>>>
>>> Claiming that I made a mistake with no ability to
>>> show this mistake is DISHONEST.
>>>
>>
>> Indeed, but irrelevant,
> 
> That alternative is that you are dishonest.
> When you claim that I am wrong and have
> no ability to show how and where I am wrong
> this would seem to make you a liar.
> 
> No one has ever even attempted to show the details
> of how this is not correct:
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> When one or more instructions of DDD are correctly
> simulated by ANY simulating termination analyzer HHH
> then this correctly simulated DDD never reaches its
> simulated "return" statement final halt state.

Indeed, HHH fails to reach the end of the simulation, even though the 
end is only one cycle further from the point where it gave up the 
simulation.

The same pattern:
You close your eyes for the errors shown to you and pretend that the do 
not exist.
HHH is programmed to close its eyes for the specification in the input 
of a program with a reachable end and pretend the end does not exist.
Very childish.