Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: Everyone on this forum besides Keith has been a damned liar about
 this point
Date: Mon, 9 Jun 2025 15:51:27 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <1027hgg$oge9$1@dont-email.me>
References: <1025i6j$afk6$1@dont-email.me> <1026vqt$kb6a$1@dont-email.me>
 <102703a$kcea$1@dont-email.me> <10270q6$ki5i$1@dont-email.me>
 <102715d$ipgg$3@dont-email.me> <10271sq$ki5i$2@dont-email.me>
 <10272c7$ipgg$4@dont-email.me> <10272o6$kt3u$1@dont-email.me>
 <10273h4$ipgg$6@dont-email.me> <102745p$lajf$1@dont-email.me>
 <10274cs$ipgg$7@dont-email.me> <10274ln$ldq3$1@dont-email.me>
 <102754h$ipgg$8@dont-email.me> <10275v1$lo22$1@dont-email.me>
 <102768b$ipgg$9@dont-email.me> <10276fd$lo22$2@dont-email.me>
 <10276pf$ipgg$10@dont-email.me> <10277j5$m30d$1@dont-email.me>
 <10278ai$ipgg$11@dont-email.me> <10279ha$mm0d$2@dont-email.me>
 <1027a5b$ipgg$12@dont-email.me> <1027c5c$nc63$2@dont-email.me>
 <1027dfj$ipgg$13@dont-email.me> <1027dpi$npoo$1@dont-email.me>
 <1027dsg$ipgg$15@dont-email.me> <1027e75$npoo$3@dont-email.me>
 <1027eej$nuf1$1@dont-email.me> <1027f4i$o022$1@dont-email.me>
 <1027fdh$nuf1$3@dont-email.me> <1027fjj$o7hl$1@dont-email.me>
 <1027gfi$nuf1$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 09 Jun 2025 22:51:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a041b768f2f60fa832e047729279e65a";
	logging-data="803273"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+4TiSUCUyTTAZxsrYr85cw"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EiqKhFYvizFvWeoIYLIMK7JKX6U=
Content-Language: en-US
X-Antivirus: Norton (VPS 250609-4, 6/9/2025), Outbound message
In-Reply-To: <1027gfi$nuf1$6@dont-email.me>
X-Antivirus-Status: Clean

On 6/9/2025 3:33 PM, dbush wrote:
> On 6/9/2025 4:18 PM, olcott wrote:
>> On 6/9/2025 3:15 PM, dbush wrote:
>>> On 6/9/2025 4:10 PM, olcott wrote:
>>>> On 6/9/2025 2:59 PM, dbush wrote:>>>
>>>>> I pay attention to the fact that you've admitted on the record that:
>>>>>
>>>>> * What the halting problem proofs prove is correct
>>>>
>>>> I said it is correct under a false assumption dipshit.
>>>>
>>>> Are you too stupid to know that correct under a false
>>>> assumption means incorrect?
>>>
>>> And that false assumption is the assumption that an H exists that 
>>> performs the following mapping:
>>>
>>
>> That is not what I said you damned (condemned to actual Hell) liar.
>>
> 
> If you're referring to the supposed assumption that no input can do the 
> opposite of what it's halt decider says, that is not in fact an 
> assumption but follows from a series of truth preserving operations from 
> the actual assumption that an H exists that can perform the following 
> mapping:
> 

Show exactly how to encode *AN INPUT* that actually
does the opposite of whatever value that its termination
analyzer returns. Make sure you do this in C.

It is only because no one ever bothered to encode the
halting problem in a fully functional completely defined
language that no one ever noticed this before.

Even the Linz proof fails to do this.

When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn

Does not show *AN INPUT* to embedded_H that does
the opposite of whatever embedded_H decides.

The computation that embedded_H is embedded within
*IS NOT AN INPUT* to embedded_H.

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