Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Mon, 12 May 2025 14:19:03 -0400
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <vvte2m$15ceh$17@dont-email.me>
References: <vv97ft$3fg66$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>
 <bc4fb153ff914177dba706ce6e0dfb467e2126eb.camel@gmail.com>
 <vvp04i$3r5li$3@dont-email.me>
 <853816e160c7b3fe75c71f0728e72989d9fb2e41.camel@gmail.com>
 <vvp1fm$3r5li$4@dont-email.me>
 <b049926b61baa5d69d11655a8af06e537b7acd71.camel@gmail.com>
 <vvqga9$gldn$3@dont-email.me>
 <41e08841caf0d628beb5105bc78531a412eea440.camel@gmail.com>
 <vvql3p$gldn$15@dont-email.me> <vvsa1a$104j2$1@dont-email.me>
 <vvt2lo$14pca$5@dont-email.me> <vvt2pf$15ceh$1@dont-email.me>
 <vvt736$14pca$16@dont-email.me> <vvt8bv$15ceh$9@dont-email.me>
 <vvt949$14pca$22@dont-email.me> <vvt9sb$15ceh$13@dont-email.me>
 <vvtae1$14pca$24@dont-email.me> <vvtb81$15ceh$15@dont-email.me>
 <vvtct0$14pca$28@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 May 2025 20:19:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d587ba6f088c47ed8fd2ad250ebfd646";
	logging-data="1225169"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18C0XjdTkZyC7ScYZ0xBMJJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0Hln+Pcm8SW99IC6oZG+d0cMMdg=
In-Reply-To: <vvtct0$14pca$28@dont-email.me>
Content-Language: en-US
Bytes: 3816

On 5/12/2025 1:58 PM, olcott wrote:
> On 5/12/2025 12:30 PM, dbush wrote:
>> On 5/12/2025 1:16 PM, olcott wrote:
>>> On 5/12/2025 12:07 PM, dbush wrote:
>>>> On 5/12/2025 12:54 PM, olcott wrote:
>>>>> On 5/12/2025 11:41 AM, dbush wrote:
>>>>>> On 5/12/2025 12:19 PM, olcott wrote:
>>>>>>> On 5/12/2025 10:06 AM, dbush wrote:
>>>>>>>> On 5/12/2025 11:04 AM, olcott wrote:
>>>>>>>>> Termination analyzers compute the mapping from their
>>>>>>>>> inputs to the behavior that these inputs actually specify.
>>>>>>>>
>>>>>>>> False.  They compute the mapping from their input to the 
>>>>>>>> behavior of the algorithm described by the input when executed 
>>>>>>>> directly, as per the requirements:
>>>>>>>>
>>>>>>>
>>>>>>> That is easily proven stupidly wrong.
>>>>>>
>>>>>>
>>>>>> Category error.  Definitions are not proven:
>>>>>>
>>>>>
>>>>> Definitions that contradict other definitions are refuted.
>>>>>
>>>>
>>>>
>>>> And you haven't shown a conflict with the definition of a solution 
>>>> to the halting problem:
>>>>
>>>
>>> That you keep ignoring it its not
>>> a matter of me never providing it.
>>>
>>
>> In other words, you agree that no algorithm exists that can compute 
>> the following mapping:
>>
> 
> Likewise no algorithm exists that can compute
> the square root of a dead rabbit. 

And as was said before:

On 5/5/2025 5:39 PM, olcott wrote:
 > On 5/5/2025 4:31 PM, dbush wrote:
 >> Strawman.  The square root of a dead rabbit does not exist, but the
 >> question of whether any arbitrary algorithm X with input Y halts when
 >> executed directly has a correct answer in all cases.
 >>
 >
 > It has a correct answer that cannot ever be computed

Where you *explicitly* agreed that the Linz halting theorem is correct.