Deutsch   English   Français   Italiano  
<vofnj2$1qh2r$2@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

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: Anyone with sufficient knowledge of C knows that DD specifies
 non-terminating behavior to HHH
Date: Tue, 11 Feb 2025 08:41:38 -0600
Organization: A noiseless patient Spider
Lines: 77
Message-ID: <vofnj2$1qh2r$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 11 Feb 2025 15:41:39 +0100 (CET)
Injection-Info: dont-email.me; posting-host="2bd46967c94f87f70aef9b09a146468d";
	logging-data="1918043"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+iVGtuP46GFOlf0QGvkYxc"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8NWNx1eiuxGcYj7PT3JQ1QRP4iE=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250210-8, 2/10/2025), Outbound message
In-Reply-To: <vof56u$1n9k0$1@dont-email.me>
Content-Language: en-US
Bytes: 3973

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.

> 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.
> 


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