Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: Turing Machine computable functions apply finite string transformations to inputs VERIFIED FACT Date: Wed, 30 Apr 2025 19:28:09 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <68cde477cc9e792bb180144ca01490c2d7b225d5@i2pn2.org> References: <65dddfad4c862e6593392eaf27876759b1ed0e69@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 30 Apr 2025 23:55:57 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2600536"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: On 4/30/25 1:28 PM, olcott wrote: > On 4/30/2025 10:46 AM, Richard Heathfield wrote: >> On 30/04/2025 16:15, olcott wrote: >>> On 4/29/2025 5:03 PM, Richard Heathfield wrote: >>>> On 29/04/2025 22:38, olcott wrote: >>>> >>>> >>>> >>>>> >>>>> int DD() >>>>> { >>>>>    int Halt_Status = HHH(DD); >>>>>    if (Halt_Status) >>>>>      HERE: goto HERE; >>>>>    return Halt_Status; >>>>> } >>>>> >>>>> HHH is correct DD as non-halting BECAUSE THAT IS >>>>> WHAT THE INPUT TO HHH(DD) SPECIFIES. >>>> >>>> You're going round the same loop again. >>>> >>>> Either your HHH() is a universal termination analyser or it isn't. >>> >>> The domain of HHH is DD. >> >> Then it is attacking not the Halting Problem but the Olcott Problem, >> which is of interest to nobody but you. >> > > Because you don't pay any attention at all > you did not bother to notice that I have never been > attacking the Halting Problem only the conventional > Halting Problem proof. > > THE IMPOSSIBLE INPUT IS REJECTED AS NON-HALTING. > Only by LYING and using strawman. You are just proving your stupidity.