DD specifies non-terminating behavior to HHH --- COMPLETE PROOF

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory, comp.lang.c, comp.lang.c++, comp.ai.philosophy
Subject	DD specifies non-terminating behavior to HHH --- COMPLETE PROOF
Followup-To	comp.theory
Date	2025-02-15 19:13 -0600
Organization	A noiseless patient Spider
Message-ID	<vore4m$9ddo$1@dont-email.me> (permalink)
References	(11 earlier) <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>

Cross-posted to 4 groups.

Followups directed to: comp.theory

Show all headers | View raw

On 2/15/2025 2:49 AM, Mikko wrote:
> On 2025-02-14 12:40:04 +0000, olcott said:
> 
>> On 2/14/2025 2:58 AM, Mikko wrote:
>>> On 2025-02-14 00:07:23 +0000, olcott said:
>>>
>>>> On 2/13/2025 3:20 AM, Mikko wrote:
>>>>> On 2025-02-13 04:21:34 +0000, olcott said:
>>>>>
>>>>>> On 2/12/2025 4:04 AM, Mikko wrote:
>>>>>>> On 2025-02-11 14:41:38 +0000, olcott said:
>>>>>>>
>>>>>>>>> Of course not. However, the fact that no reference to that article
>>>>>>>>> before or when HHH
>>>>>>>>
>>>>>>>> That paper and its code are the only thing that I have been 
>>>>>>>> talking about in this forum for several years.
>>>>>>>
>>>>>>> Doesn't matter when you don't say that you are talking about that 
>>>>>>> paper.
>>>>>>>
>>>>>>> Anyway, that is irrelevant to the fact that the subject line 
>>>>>>> contains
>>>>>>> a false claim.
>>>>>>
>>>>>> It is a truism and not one person on the face of the
>>>>>> Earth can possibly show otherwise.
>>>>>
>>>>> The fact that the claim on subject line is false is not a truism.
>>>>> In order to determine the claim is false one needs some knowledge
>>>>> that is not obvious.
>>>>
>>>> When you try to show the steps attempting to show that
>>>> it is false I will point out the error.
>>>
>>> Step 1: Find people who know C.
>>> Step 2: Show them DD of OP and ask.
>>>
>>>> This is the only topic that I will discuss and any
>>
>> 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);
>> }
>>
>> DD  correctly simulated by HHH cannot possibly terminate normally.
> 
> That claim has already shown to be false. Nothing above shows that
> HHH does not return 0. If it does DD also returns 0.
> 

*You (and everyone else) is proven wrong by the following*

918-1156  // All of the lines of termination analyzer HHH
1355-1370 // DD() through main()

https://github.com/plolcott/x86utm/blob/master/Halt7.c

The assembly language source code of every function in Halt7.c
https://github.com/plolcott/x86utm/blob/master/Halt7out.txt

This shows the complete execution trace of
(a) main
(b) DD

It does not show the 171 pages of execution trace of HHH.
This can be much more easily verified by the provided
239 lines of source code: 918-1156

Although the code for HHH is very difficult to understand
(Only Mike has ever really tried to understand it)
At least now it is all in one single contiguous block.

The x86utm operating system functions that it calls
are found here:
https://github.com/plolcott/x86utm/blob/master/x86utm.cpp

https://github.com/plolcott/x86utm/blob/master/include/Read_COFF_Object.h

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

Back to comp.lang.c++ | Previous | Next | Find similar | Unroll thread

Thread

DD specifies non-terminating behavior to HHH --- COMPLETE PROOF olcott <polcott333@gmail.com> - 2025-02-15 19:13 -0600

csiph-web