Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!raubtier-asyl.eternal-september.org!.POSTED!not-for-mail
From: Bonita Montero <Bonita.Montero@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 18:19:37 +0200
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <vu36pl$5ges$1@raubtier-asyl.eternal-september.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 20 Apr 2025 18:19:02 +0200 (CEST)
Injection-Info: raubtier-asyl.eternal-september.org; posting-host="3d87bf6834de8366f9b84efd8a66d3ff";
	logging-data="180700"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/I/Et2XbZWRAXsetlxPFCFVJcsVal7MEQ="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vsAjVeofC8v8fRQUk+P+TbJhPvs=
In-Reply-To: <vu3303$20gn$1@dont-email.me>
Content-Language: de-DE
Bytes: 3574

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 ?