Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: You still seem too dishonest to admit that DDD correctly emulated
 by any HHH cannot possibly reach its own ,"return" instruction
Date: Sun, 4 Aug 2024 22:18:42 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <ff44c6626923661554540bf75cb50a4921a50381@i2pn2.org>
References: <v8o47a$3ml4$1@dont-email.me>
 <0ec454016dab6f6d6dd5580f5d0eea49569293d8@i2pn2.org>
 <v8oigl$6kik$1@dont-email.me>
 <6ec9812649b0f4a042edd1e9a1c14b93e7b9a16b@i2pn2.org>
 <v8ol2g$74lk$1@dont-email.me>
 <476303ac27d94a26dd563468f0ce10407e60034c@i2pn2.org>
 <v8oqfc$8767$1@dont-email.me>
 <ce9b3873fa013760b85c7f73e59456b6f2f0edbe@i2pn2.org>
 <v8otj0$8oip$1@dont-email.me>
 <5ea40e29a4d8e4014f485fdfda743b95148a961a@i2pn2.org>
 <v8ouh4$905l$1@dont-email.me>
 <7f796739dcafa335aff88a52af5e458d1253625b@i2pn2.org>
 <v8p10u$9ebu$1@dont-email.me>
 <de071bb436f1e79bc9645b5abbb1bea182d9f3e0@i2pn2.org>
 <v8p36o$9pm8$1@dont-email.me>
 <35c5358982b75ccc36bc041f980dd152f1b5c6a3@i2pn2.org>
 <v8p8le$aj5a$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 5 Aug 2024 02:18:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1459495"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v8p8le$aj5a$1@dont-email.me>
Content-Language: en-US
Bytes: 7417
Lines: 154

On 8/4/24 9:07 PM, olcott wrote:
> On 8/4/2024 7:05 PM, Richard Damon wrote:
>> On 8/4/24 7:34 PM, olcott wrote:
>>> On 8/4/2024 6:25 PM, Richard Damon wrote:
>>>> On 8/4/24 6:57 PM, olcott wrote:
>>>>> On 8/4/2024 5:31 PM, Richard Damon wrote:
>>>>>> On 8/4/24 6:15 PM, olcott wrote:
>>>>>>> On 8/4/2024 5:02 PM, Richard Damon wrote:
>>>>>>>> On 8/4/24 5:58 PM, olcott wrote:
>>>>>>>>> On 8/4/2024 4:43 PM, Richard Damon wrote:
>>>>>>>>>> On 8/4/24 5:05 PM, olcott wrote:
>>>>>>>>>>> On 8/4/2024 3:14 PM, Richard Damon wrote:
>>>>>>>>>>>> On 8/4/24 3:33 PM, olcott wrote:
>>>>>>>>>>>>> On 8/4/2024 2:05 PM, Richard Damon wrote:
>>>>>>>>>>>>>> On 8/4/24 2:49 PM, olcott wrote:
>>>>>>>>>>>>>>> On 8/4/2024 1:38 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 8/4/24 10:46 AM, olcott wrote:
>>>>>>>>>>>>>>>>> When we define an input that does the opposite of whatever
>>>>>>>>>>>>>>>>> value that its halt decider reports there is a way for the
>>>>>>>>>>>>>>>>> halt decider to report correctly.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> int DD()
>>>>>>>>>>>>>>>>> {
>>>>>>>>>>>>>>>>>    int Halt_Status = HHH(DD);
>>>>>>>>>>>>>>>>>    if (Halt_Status)
>>>>>>>>>>>>>>>>>      HERE: goto HERE;
>>>>>>>>>>>>>>>>>    return Halt_Status;
>>>>>>>>>>>>>>>>> }
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> int main()
>>>>>>>>>>>>>>>>> {
>>>>>>>>>>>>>>>>>    HHH(DD);
>>>>>>>>>>>>>>>>> }
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> HHH returns false indicating that it cannot
>>>>>>>>>>>>>>>>> correctly determine that its input halts.
>>>>>>>>>>>>>>>>> True would mean that its input halts.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> But false indicates that the input does not halt, but it 
>>>>>>>>>>>>>>>> does.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> I made a mistake that I corrected on a forum that allows
>>>>>>>>>>>>>>> editing: *Defining a correct halting decidability decider*
>>>>>>>>>>>>>>> 1=input does halt
>>>>>>>>>>>>>>> 0=input cannot be decided to halt
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> And thus, not a halt decider.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Sorry, you are just showing your ignorance.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> And, the problem is that a given DD *CAN* be decided about 
>>>>>>>>>>>>>> halting, just not by HHH, so "can not be decided" is not a 
>>>>>>>>>>>>>> correct answer. 
>>>>>>>>>>>>>
>>>>>>>>>>>>> A single universal decider can correctly determine whether
>>>>>>>>>>>>> or not an input could possibly be denial-of-service-attack.
>>>>>>>>>>>>> 0=yes does not halt or pathological self-reference
>>>>>>>>>>>>> 1=no  halts
>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> Which isn't halt deciding, so you are just admitting you 
>>>>>>>>>>>> have been lying about working on the Halting Problem.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> It does seem to refute Rice.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> Nope, because your criteria in not a semantic property of the 
>>>>>>>>>> INPUT (or it is trivial, as 0 is always a correct answer).
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> It is only allowed to answer 0 when when
>>>>>>>>> (a) The input does not halt
>>>>>>>>> (b) The input has a pathological relationship with the decider.
>>>>>>>>>
>>>>>>>>>
>>>>>>>>
>>>>>>>> Which means it is not a property of the INPUT, but the input and 
>>>>>>>> the decider.
>>>>>>>>
>>>>>>>
>>>>>>> It is a property of the input.
>>>>>>> (a) The input does
>>>>>>> (b) The input has
>>>>>>>
>>>>>>
>>>>>> But not of JUST the input.
>>>>>>
>>>>>
>>>>> It is a semantic property of the input.
>>>>> I don't care if you lie about it.
>>>>>
>>>>
>>>> Nope, because it depends on the decider.
>>>>
>>>
>>> (b) Cannot possibly exist unless it is a property
>>> of the input.
>>>
>>>
>>
>> Then it can not exist, becuase it depends on more than the input.
>>
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> You still seem too dishonest to admit that DDD correctly
> emulated by any HHH cannot possibly reach its own "return"
> instruction.

No, I admit that *IF* HHH does correctly (and thus completely without 
aborting) emulated its input, then THAT DDD and ONLY that DDD will be 
non-halting.

This means that EVERY OTHER HHH is just wrong, as the DDD that it is 
given DOES halt when run, but HHH does emulate long enough to see that 
because in INCORRECTLY aborts its emulation, confusing the input it was 
actually given with the input given to the non-aborting HHH, because it 
thinks that it is that non-aborting HHH itself, but that it can still abort.

What seems to be your problem is that you don't understand what a 
program is, and that only actual programs have programtic behavior.

You also don't seem to understand that you can't assume that the 
impossible happens, that just proves your own insanity.

> 
> Maybe EE and a masters in EE just doesn't teach
> hardly anything about actual programming.

I learned a lot, but it seems you don't understand the basic definition 
that DDD without HHH provided IS NOT A PROGRAM.

That your logic is based on the lie that DDD doesn't include HHH, just 
proves your utter stupidity.

> 
> I would hate to call you dishonest when it is just
> ordinary ignorance. It can't really be just ordinary
> ignorance when it feigns expertise.
> 

Nope, it is your PATHOLOGICAL IGNORANCE that causes the problem, your 
trying to blame others for your own stupidity just proves your state as 
a pathetic ignorant pathologically lying idiot with a reckless disregard 
for the truth, who even ADMITS that he doesn't have a basis for his claims.

Sorry, you have just killed your reputation and earned your place in HELL.