Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@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 16:33:54 -0400
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <1027gfi$nuf1$6@dont-email.me>
References: <1025i6j$afk6$1@dont-email.me> <1026uuj$ipgg$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 09 Jun 2025 22:33:54 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="83f8099c26aa018e5abc55e668b658fc";
	logging-data="784865"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/FbL6jgQs4QzNPFpJ8nSol"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:J488Z6Snp1a1zIXPIrXkTikgl6o=
In-Reply-To: <1027fjj$o7hl$1@dont-email.me>
Content-Language: en-US

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:


Given any algorithm (i.e. a fixed immutable sequence of instructions) X 
described as <X> with input Y:

A solution to the halting problem is an algorithm H that computes the 
following mapping:

(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly