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.lang.c
Subject: Re: Only C programmers tell the truth about the behavior of DD
 simulated by HHH
Date: Sun, 20 Apr 2025 12:30:14 -0500
Organization: A noiseless patient Spider
Lines: 68
Message-ID: <vu3av6$95co$1@dont-email.me>
References: <vtr79n$u6o3$1@dont-email.me>
 <vtr7jj$uukr$1@raubtier-asyl.eternal-september.org>
 <vtrguu$16pbv$1@dont-email.me>
 <vtsuij$2hgpf$1@raubtier-asyl.eternal-september.org>
 <vtvld1$10c79$1@dont-email.me>
 <vtvpsa$149h7$1@raubtier-asyl.eternal-september.org>
 <vu10uj$27281$1@dont-email.me> <vu28v5$3c71p$1@dont-email.me>
 <vu3303$20gn$1@dont-email.me>
 <vu36pl$5ges$1@raubtier-asyl.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 20 Apr 2025 19:30:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7a034244d83f09ecbfab02b9bdb773a5";
	logging-data="300440"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19UheOGtO7Q5UsZbaMDyxcm"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:JLVT0Xehq17TEkhqT30NffhfKHw=
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250420-4, 4/20/2025), Outbound message
In-Reply-To: <vu36pl$5ges$1@raubtier-asyl.eternal-september.org>
Bytes: 4040

On 4/20/2025 11:19 AM, Bonita Montero wrote:
> Am 20.04.2025 um 17:14 schrieb olcott:
>> On 4/20/2025 2:49 AM, Mikko wrote:
>>> On 2025-04-19 20:26:59 +0000, olcott said:
>>>
>>>> On 4/19/2025 4:20 AM, Bonita Montero wrote:
>>>>> Am 19.04.2025 um 10:03 schrieb Mikko:
>>>>>
>>>>>> The part that comp.lang.c lacked a liar sounds credible.
>>>>>
>>>>> I believe Peter has a serious mental illness. As far as I know,
>>>>> he has cancer, and I hope he gets the most out of his remaining
>>>>> life instead of obsessing over this problem.
>>>>
>>>> I never go with credible, instead I try to stick with verified facts.
>>>>
>>>> int DD()
>>>> {
>>>>    int Halt_Status = HHH(DD);
>>>>    if (Halt_Status)
>>>>      HERE: goto HERE;
>>>>    return Halt_Status;
>>>> }
>>>>
>>>> It is a verified fact that DD correctly simulated
>>>> by HHH cannot possibly halt (terminate normally).
>>>
>>> Verified facts should not be decorated with misleading words.
>>>
>>> There is no other "DD correctly simulated by HHH" than the DD shown
>>> above, and that DD halts (terminates normally).
>>>
>>
>> Why lie?
>>
>> *Professor Hehner recognized this repeating process before I did*
>>    Problems with the Halting Problem
>>    Eric C.R. Hehner
>>    Department of Computer Science, University of Toronto
>>
>>    From a programmer's point of view, if we apply an interpreter
>>    to a program text that includes a call to that same interpreter
>>    with that same text as argument, then we have an infinite loop.
>>    A halting program has some of the same character as an
>>    interpreter: It applies to texts through abstract interpretation.
>>
>>    Unsurprisingly, if we apply a halting program to a program
>>    text that includes a call to that same halting program with
>>    that same text as argument, then we have an infinite loop.
>>    (Hehner:2011:15) https://www.cs.toronto.edu/~hehner/PHP.pdf
>>
>>> That HHH cannot simulate DD to its normal termination is true but
>>> that is not what the "verified fact" says.
>>>
>>
>>
> 
> Shouldn't you make sth. that makes more sense with your remaining life ?
> Don't you have family ?

I am here with my family getting CAR-T cell cancer
treatment that seems to be going very well.

Do you actually know C or are you merely a troll?

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