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: Tue, 11 Feb 2025 18:41:28 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <0fbe3b548c1a816cdf192045d69156328d48fd9d@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 11 Feb 2025 23:41:28 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3807731"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vofnj2$1qh2r$2@dont-email.me>
Bytes: 3912
Lines: 79

On 2/11/25 9:41 AM, olcott wrote:
> On 2/11/2025 3:27 AM, Mikko wrote:
>> On 2025-02-10 11:58:31 +0000, olcott said:
>>
>>> On 2/10/2025 2:35 AM, Mikko wrote:
>>>> On 2025-02-09 15:24:53 +0000, olcott said:
>>>>
>>>>> On 2/9/2025 4:08 AM, Mikko wrote:
>>>>>> On 2025-02-08 14:55:09 +0000, olcott said:
>>>>>>
>>>>>>> On 2/8/2025 4:25 AM, Mikko wrote:
>>>>>>>> On 2025-02-07 23:13:04 +0000, olcott said:
>>>>>>>>
>>>>>>>>> Experts in the C programming language will know that DD
>>>>>>>>> correctly simulated by HHH cannot possibly reach its own
>>>>>>>>> "if" statement.
>>>>>>>>
>>>>>>>> Wrong, they understand that nothing below exludes the 
>>>>>>>> possibility that
>>>>>>>> HHH is a program that can correctly simulate DD to its "if" 
>>>>>>>> statement.
>>>>>>>
>>>>>>> Show the execution trace of that.
>>>>>>
>>>>>> Your request does not make sense. Non-existence of a exclusion 
>>>>>> does not
>>>>>> have an execution trace.
>>>>>>
>>>>>>>> The code of HHH might exlude that but that is not sohwn below.
>>>>>>>>
>>>>>>>>> The finite string DD specifies non-terminating recursive
>>>>>>>>> simulation to simulating termination analyzer HHH.
>>>>>>>>
>>>>>>>> No, it does not. DD as quoted below pecifies nothing about the 
>>>>>>>> behaviour
>>>>>>>> of HHH, only its argument types and return type.
>>>>>>>>
>>>>>>>
>>>>>>>  >>    int Halt_Status = HHH(DD); // line 3 of DD
>>>>>>> Requires HHH to simulate itself simulating DD recursively.
>>>>>>
>>>>>> No, it does not. I only requires that the execution of HHH with a 
>>>>>> function
>>>>>> pointer to DD must be started. OP does not show what happens next.
>>>>>
>>>>> Within the context that HHH <is> a simulating termination
>>>>> analyzer line 3 of DD proves that DD cannot possibly reach
>>>>> its own "if" statement.
>>>>
>>>> That is not the context of OP.
>>>>
>>>
>>> That you did not bother to look at my paper
>>
>> That is again a false claim about a person.
>>
>>> does not entail that the correct full context has not been provided.
>>
>> 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.


Which just shows you don't understand the Halting Problem. Computation 
Theory, or Logic.
> 
>> was introduced to the discussion and the fact
>> that the pointer to the article at the end of the discussion is not
>> linked to any specific point do entail exacltly that.
>>
>>> The
>>> context has always been this paper for several years.
>>
>> Irrelevant to OP.
>>
> 
>