Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DD specifies non-terminating behavior to HHH --- COMPLETE PROOF
Date: Tue, 25 Feb 2025 12:25:55 -0600
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <vpl1vj$23vks$5@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <vo7be3$jug$1@dont-email.me>
 <vo7r8d$36ra$3@dont-email.me> <vo9ura$i5ha$1@dont-email.me>
 <voahc5$m3dj$8@dont-email.me> <vocdo9$14kc0$1@dont-email.me>
 <vocpl7$16c4e$4@dont-email.me> <vof56u$1n9k0$1@dont-email.me>
 <vofnj2$1qh2r$2@dont-email.me> <vohrmi$29f46$1@dont-email.me>
 <vojs0e$2oikq$4@dont-email.me> <vokdha$2rcqi$1@dont-email.me>
 <vom1fr$34osr$1@dont-email.me> <von0iq$3d619$1@dont-email.me>
 <vondj5$3ffar$1@dont-email.me> <vopke4$3v10c$1@dont-email.me>
 <vore4m$9ddo$1@dont-email.me> <vpkq6t$22eec$1@dont-email.me>
 <vpl0h8$23vks$4@dont-email.me>
 <a7933046f50046a343ddf27baea995bafb80da4a@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 25 Feb 2025 19:25:56 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ae4d22a2babce2da2b4f9e10d47b5d58";
	logging-data="2227868"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19HBKoBJMDpa75qAWZfyHLC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:7GklEOZ8i6E1pRGEUTTes6ayYpA=
X-Antivirus: Norton (VPS 250225-8, 2/25/2025), Outbound message
In-Reply-To: <a7933046f50046a343ddf27baea995bafb80da4a@i2pn2.org>
X-Antivirus-Status: Clean
Content-Language: en-US
Bytes: 3032

On 2/25/2025 12:07 PM, joes wrote:
> Am Tue, 25 Feb 2025 12:01:12 -0600 schrieb olcott:
>> On 2/25/2025 10:13 AM, Mikko wrote:
>>> Althogh the subject line has the words "COMPLETE PROOF" there is no
>>> proof or pointer to proof below.
>>>
>> typedef void (*ptr)();
>> int HHH(ptr P);
>> int DD()
>> {
>>     int Halt_Status = HHH(DD);
>>     if (Halt_Status)
>>       HERE: goto HERE;
>>     return Halt_Status;
>> }
>> int main()
>> {
>>     HHH(DD);
>> }
>>
>> The above does specify that DD simulated by HHH cannot possibly
>> terminate normally by reaching its own "return" instruction.

> This depends entirely on HHH not aborting *in every invocation*.
> 

Whether HHH aborts or never aborts DD simulated by
HHH never terminates normally.

Some of my reviewers have said that they have ADD thus
have great difficulty paying attention to ALL MY WORDS.

Anyone that pays COMPLETE ATTENTON TO ALL OF THE ABOVE WORDS
and has sufficient technical skill understands that I
am correct. Most of the recent rebuttals have ignored
some of my words.

>> Ignoring the code in main() seemed dishonest.


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