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: Sun, 16 Feb 2025 07:25:37 -0600
Organization: A noiseless patient Spider
Lines: 74
Message-ID: <vosp0i$jvi4$3@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>
 <vorlah$aet5$1@dont-email.me>
 <850d8d685e2c661923cc7bf8bfad7bfd0f6deb86@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 16 Feb 2025 14:25:38 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c928bd9eb52e5cb5acf316a3ad4e5e6d";
	logging-data="654916"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19HSVVAX0f7ZOtDahXSOqcq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:I7/ldy973cKLPgL59q/XwMfLYbU=
In-Reply-To: <850d8d685e2c661923cc7bf8bfad7bfd0f6deb86@i2pn2.org>
Content-Language: en-US
X-Antivirus: Norton (VPS 250216-0, 2/15/2025), Outbound message
X-Antivirus-Status: Clean
Bytes: 4494

On 2/16/2025 6:53 AM, joes wrote:
> Am Sat, 15 Feb 2025 21:16:30 -0600 schrieb olcott:
>> 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.
>>>
>> When we know that DD is simulated by HHH we know that HHH cannot
>> possibly return to this DD as long as we have at least a little
>> competence in the C language.
> If we also had a little competence in theory, we would know that
> HHH is not a decider if it doesn’t return.
> 

HHH is a termination analyzer that way we can use software
engineering terms that more aptly refer to "normal termination"
rather than the somewhat more ambiguous term of "halting".

This also allows us to refer to the much more expressive
RASP architecture and not be limited by the tediousness
of Turing Machines.

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