Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Anyone with sufficient knowledge of C knows that DD specifies
 non-terminating behavior to HHH
Date: Fri, 14 Feb 2025 19:38:42 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <d9b66ce79cdd2b182bacee9a95881ea4326cd14b@i2pn2.org>
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> <vonhl6$3g196$1@dont-email.me>
 <voojt4$3mdke$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 15 Feb 2025 00:38:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="81938"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <voojt4$3mdke$5@dont-email.me>
Bytes: 3824
Lines: 76

On 2/14/25 6:33 PM, olcott wrote:
> On 2/14/2025 7:49 AM, Fred. Zwarts wrote:
>> Op 14.feb.2025 om 13:40 schreef olcott:
>>> 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.
>>
>> Indeed. The simulation by HHH fails to reach the end of the halting DD.
> 
> different instance with provably different execution trace

Then prove it,

Note, needs an actually ACCURATE trace, not your "edited" on that omits 
what you don't want to talk about because it shows you are wrong, and 
thus the call HHH needs to be followed by the instructions in HHH.


> 
>> This shows that it is a bad idea to use a simulator to decide about 
>> halting/non-halting behaviour.
>>
> 
>