Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: =?UTF-8?B?UmU6IFZlcmlmaWVkIGZhY3QgdGhhdCDEpC5IIOKfqMSk4p+pIOKfqMSk?=
 =?UTF-8?B?4p+pIGFuZCBIIOKfqMSk4p+pIOKfqMSk4p+pIGhhdmUgZGlmZmVyZW50IGJlaGF2?=
 =?UTF-8?Q?ior_ZFC_--willful_ignorance--?=
Date: Mon, 11 Mar 2024 20:39:34 -0500
Organization: A noiseless patient Spider
Lines: 89
Message-ID: <usobon$3u623$1@dont-email.me>
References: <usia2e$2f2pd$1@dont-email.me> <usj32s$2k5id$1@dont-email.me>
 <usjd20$2plge$1@dont-email.me> <usjef5$1cf5q$6@i2pn2.org>
 <usjfj8$2q613$1@dont-email.me> <usjgs6$1cf5q$7@i2pn2.org>
 <usjhks$2qhfq$1@dont-email.me> <usjj7v$1cf5q$8@i2pn2.org>
 <uskg1p$30hr1$1@dont-email.me> <KEkHN.386271$vFZa.185803@fx13.iad>
 <uskog1$32h3c$1@dont-email.me> <uskpe3$32l00$1@dont-email.me>
 <uskq04$32h3c$3@dont-email.me> <usks70$1enef$1@i2pn2.org>
 <usktro$33lov$1@dont-email.me> <usl1c7$1enef$9@i2pn2.org>
 <usll3l$38f21$1@dont-email.me> <lttHN.366350$q3F7.85039@fx45.iad>
 <uslou1$390q2$1@dont-email.me> <uslpbr$1enef$17@i2pn2.org>
 <uslu1i$3do6h$1@dont-email.me> <usm07p$1enef$21@i2pn2.org>
 <usm1sg$3ebq5$2@dont-email.me> <usm2ps$1enef$22@i2pn2.org>
 <usm3eg$3em6b$1@dont-email.me> <usm4id$1enef$24@i2pn2.org>
 <usm5np$3f27j$2@dont-email.me> <usm6p0$1enef$25@i2pn2.org>
 <usn0d2$3klcn$1@dont-email.me> <usne42$1hqqe$4@i2pn2.org>
 <uso2f2$3sd10$1@dont-email.me> <uso6d9$1ipmg$2@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Mar 2024 01:39:36 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="2de151991156ec4f63802e311fdc7732";
	logging-data="4134979"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/KOzw+4dR9OyKnbSCYho23"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:hk/SgEmNWlMeNcESa5xxwaMdZZA=
In-Reply-To: <uso6d9$1ipmg$2@i2pn2.org>
Content-Language: en-US
Bytes: 5225

On 3/11/2024 7:08 PM, Richard Damon wrote:
> On 3/11/24 4:00 PM, olcott wrote:
>> On 3/11/2024 12:13 PM, Richard Damon wrote:
>>> On 3/11/24 6:19 AM, olcott wrote:
>>>> On 3/11/2024 1:02 AM, Richard Damon wrote:
>>>>> On 3/10/24 10:44 PM, olcott wrote:
>>>>>
>>>>>> *Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
>>>>>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not 
>>>>>> halt
>>>>>>
>>>>>
>>>>> Yes, you have rotely repeated that many times, not knowing what 
>>>>> that implies, or doesn't imply.
>>>>>
>>>>
>>>>   Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
>>>>   Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not 
>>>> halt
>>>>
>>>>   *Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
>>>>   *Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
>>>>   *Every implementation of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong answer*
>>>
>>> Really?
>>>
>>> A "submachine" doesn't have a requirement except to act as the 
>>> machine it is a copy of.
>>>
>>
>> There is no such thing as a sub-machine.
> 
> OF course there is.
> 
> What do you think H^.H is?
> 
> You are just showing how stupid you are.

An an abstract concept that humans can talk about that
cannot actually be implemented as any actual aspect of
any actual Turing machine.

The ghost of Bug Bunny exists as a fictional idea.

>>
>>> So, what you are REALLY Saying is that:
>>>
>>> H (H^) (H^) gets the wrong answer for every implementation of H,
>>>
>>
>> Both answers of YES and NO are incorrect for any H ⟨Ĥ⟩ ⟨Ĥ⟩
>> that is inconsistent with the behavior of Ĥ ⟨Ĥ⟩ when an
>> exact copy of this same H is embedded within Ĥ.
> 
> No, there IS a 'Correct answer', it just isn't the one that that H gives.
> 

You are bullshitting yourself, yet not bullshitting me.
There is no correct answer for the H/⟨Ĥ⟩ ⟨Ĥ⟩ program/input pair.

You and Daryl McCullough act like someone physically gagged
H/⟨Ĥ⟩ with a piece of cloth.

It is not that they can't speak it is that both YES and NO
are the wrong answer when they do speak.

> This has been explained to you many times, but you just seem to be too 
> stupid to understand.
> 
> Unless H actually IS a correc
> 
> 
>>
>> Because both YES and NO are the wrong answer for this H
>> it is a logical impossibility H to answer that question
>> correctly.
> 
> But not for the question to have a correct answer.

*For program/input pair: H/⟨Ĥ⟩ ⟨Ĥ⟩ both YES and NO are the wrong answer*
*For program/input pair: H/⟨Ĥ⟩ ⟨Ĥ⟩ both YES and NO are the wrong answer*
*For program/input pair: H/⟨Ĥ⟩ ⟨Ĥ⟩ both YES and NO are the wrong answer*


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