Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Sat, 10 May 2025 21:54:22 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <cad089d86ff60b33d1927d237d793b51bce2e2d2@i2pn2.org>
References: <vv97ft$3fg66$1@dont-email.me> <vvjotc$28g5i$12@dont-email.me>
 <vvnh9u$3hd96$1@raubtier-asyl.eternal-september.org>
 <vvno4e$3in62$2@dont-email.me>
 <5b14da4260c0b7e3235ce05f752c092fade4d70e.camel@gmail.com>
 <vvnsae$3in62$9@dont-email.me>
 <11cc09876004107c47467b9481f614f45f450f2c.camel@gmail.com>
 <vvnu9k$3k258$2@dont-email.me>
 <674a661e498281cca55b322cbd5905a1988a6171.camel@gmail.com>
 <vvnvut$3kher$3@dont-email.me>
 <088556c03067d8de7184bf88dd01cc6b8c99ba1b.camel@gmail.com>
 <vvo1ni$3l14p$1@dont-email.me>
 <c09f468e8485c22150cedb12a9010b401f292054.camel@gmail.com>
 <vvo58a$3lnkd$1@dont-email.me>
 <dc76ef3215a83481dfddc40c466bb9ebc0e77341.camel@gmail.com>
 <vvo709$3m1oc$1@dont-email.me>
 <b503e969e23dd1b2a6201ba78c82c9ff7906eaae.camel@gmail.com>
 <vvo9e8$3m1oc$3@dont-email.me>
 <b9cec56c1d257e09fdf8043f02f123a4243de6e1.camel@gmail.com>
 <vvoife$3ofmu$1@dont-email.me>
 <09cea75db07408dc9203aca3fb74408ad3a095b4.camel@gmail.com>
 <vvoubl$3qtsi$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 11 May 2025 01:54:39 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="4017795"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vvoubl$3qtsi$1@dont-email.me>

On 5/10/25 9:26 PM, olcott wrote:
> On 5/10/2025 8:17 PM, wij wrote:
>> On Sat, 2025-05-10 at 17:03 -0500, olcott wrote:
>>> On 5/10/2025 4:44 PM, wij wrote:
>>>> On Sat, 2025-05-10 at 14:29 -0500, olcott wrote:
>>>>> On 5/10/2025 2:02 PM, wij wrote:
> 
>>
>> You don't know the counter example in the HP proof, your D is not the 
>> case what HP says.
>>
> 
> Sure I do this is it! (as correctly encoded in C)
> 
> 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);
> }
> 
> 

Nope.

The D in the HP proof includes a copy of the halt decider H as part of 
its code.

It is a full program, not a non-leaf function as your D is.

You are just comitting a major category error, and then trying to 
expliot it to make your proof.

When you fix that error, by realizing that all the code for HHH is part 
of the program DDD, then each HHH in your set each get DIFFERENT inputs, 
of this DD funciton paired with those different HHHs, and thus you can't 
use the behavor of one to make claims of the behavior of a different one.

Sorry, you have been told of this many times, and your refusal to listen 
has just made your error a reckless disregard for the truth, and thus is 
a deliberate lie. It seems you are proving that either you just have no 
care about what is the truth and thus are a pathological liar, or are 
just too stupid to be able to learn the material, which is just another 
form of pathology that comes out as the lying.