Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Halting Problem: What Constitutes Pathological Input
Date: Wed, 7 May 2025 06:58:26 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <ced6e219784929e1c4e91c06349ebe97dda0f43b@i2pn2.org>
References: <GE4SP.47558$VBab.42930@fx08.ams4> <vvaut0$vtiu$4@dont-email.me>
 <vvav6o$o4v0$4@dont-email.me> <vvb329$15u5b$1@dont-email.me>
 <vvb37g$1451r$1@dont-email.me> <vvb43f$15u5b$4@dont-email.me>
 <vvb4ok$o4v0$9@dont-email.me> <vvb52g$15u5b$6@dont-email.me>
 <vvb5ca$o4v0$10@dont-email.me> <vvb5vp$15u5b$7@dont-email.me>
 <vvb675$o4v0$11@dont-email.me> <vvb9d7$1av94$3@dont-email.me>
 <vvbani$1b6l1$1@dont-email.me> <vvbb6s$1av94$4@dont-email.me>
 <vvbcb3$1b6l1$2@dont-email.me> <vvbe0j$1av94$8@dont-email.me>
 <vvbecc$1b6l1$6@dont-email.me> <vvbhk0$1ijna$1@dont-email.me>
 <vvbjjg$1kegb$1@dont-email.me> <vvbk93$1l4cf$1@dont-email.me>
 <vvbkft$1kegb$4@dont-email.me> <vvbl71$1ljaj$1@dont-email.me>
 <vvbma3$1kegb$5@dont-email.me> <vvbmp0$1ljaj$2@dont-email.me>
 <vvbqd5$1tr5o$1@dont-email.me> <vvbrha$1us1f$1@dont-email.me>
 <b5dffdb99fdbfe0cd74914de4d51abe0aa439e7d@i2pn2.org>
 <vvdj0r$3cbpq$9@dont-email.me>
 <f9513091c7337b52106e1febdc620e2f4cc2b868@i2pn2.org>
 <vveesi$89u0$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 7 May 2025 11:13:31 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3507609"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vveesi$89u0$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 5/6/25 10:00 PM, olcott wrote:
> On 5/6/2025 5:49 PM, Richard Damon wrote:
>> On 5/6/25 2:05 PM, olcott wrote:
>>> On 5/6/2025 5:59 AM, Richard Damon wrote:
>>>> On 5/5/25 10:18 PM, olcott wrote:
>>>>> On 5/5/2025 8:59 PM, dbush wrote:
>>>>>> On 5/5/2025 8:57 PM, olcott wrote:
>>>>>>> On 5/5/2025 7:49 PM, dbush wrote:
>>>>>>>>
>>>>>>>> Which starts with the assumption that an algorithm exists that 
>>>>>>>> performs 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
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>> DO COMPUTE THAT THE INPUT IS NON-HALTING
>>>>>>>>> IFF (if and only if) the mapping FROM INPUTS
>>>>>>>>> IS COMPUTED.
>>>>>>>>
>>>>>>>> i.e. it is found to map something other than the above function 
>>>>>>>> which is a contradiction.
>>>>>>>>
>>>>>>>
>>>>>>> The above function VIOLATES COMPUTER SCIENCE.
>>>>>>> You make no attempt to show how my claim
>>>>>>> THAT IT VIOLATES COMPUTER SCIENCE IS INCORRECT
>>>>>>> you simply take that same quote from a computer
>>>>>>> science textbook as the infallible word-of-God.
>>>>>>
>>>>>> All you are doing is showing that you don't understand proof by 
>>>>>> contradiction, 
>>>>>
>>>>> Not at all. The COMPUTER SCIENCE of your requirements IS WRONG!
>>>>>
>>>>
>>>> No, YOU don't understand what Computer Science actually is talking 
>>>> about.
>>>>
>>>
>>> Every function computed by a model of computation
>>> must apply a specific sequence of steps that are
>>> specified by the model to the actual finite string
>>> input.
>>
>> Right, "Computed by a model of computation", that
>>
>>>
>>> HHH(DD) must emulate DD according to the rules
>>> of the x86 language.
>>
>> Right, which is doesn't do.
>>
>> Remember, your HHH stop processing at a CALL HHH instruction.
>>
> 
> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>      If simulating halt decider H correctly simulates its
>      *input D* until H correctly determines that its simulated D
>      *would never stop running unless aborted* then
> 
> *input D* // the actual input

Which calls the original H

> 
> *would never stop running unless aborted*
> // A hypothetical HHH/DD pair where HHH and DD are
> // exactly the same except that this HHH does not abort.
> 
> 

No, your hypothetical HHH (like  your HHH1) paired with the originl DD 
which uses the original HHH.

You are just proving your stupidity.

Your logic is just based on lies and equivocation, proving you are just 
a pathological liar.

The fact you can just repeat your same claims and not actually deal with 
the errors pointed out shows that we have reached the point where you 
errors have been exposed. You can't go more basic, as that will make 
clear even to you that you are just stupidily wrong.