Deutsch   English   Français   Italiano  
<1025mfg$b964$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Everyone on this forum besides Keith has been a damned liar about
 this point
Date: Sun, 8 Jun 2025 23:04:00 -0500
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <1025mfg$b964$1@dont-email.me>
References: <1025i6j$afk6$1@dont-email.me>
 <87h60pioab.fsf@nosuchdomain.example.com> <1025kvd$aqju$2@dont-email.me>
 <87cybdin7o.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 09 Jun 2025 06:04:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a041b768f2f60fa832e047729279e65a";
	logging-data="369860"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19pshjt9UbLS3MsOjjCv8aE"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:1aQ+1LssYexxTROct1ZuI+6+lNQ=
X-Antivirus: Norton (VPS 250608-6, 6/8/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <87cybdin7o.fsf@nosuchdomain.example.com>
Content-Language: en-US

On 6/8/2025 10:54 PM, Keith Thompson wrote:
> olcott <polcott333@gmail.com> writes:
>> On 6/8/2025 10:31 PM, Keith Thompson wrote:
>>> olcott <polcott333@gmail.com> writes:
>>>> void DDD()
>>>> {
>>>>     HHH(DDD);
>>>>     return;
>>>> }
>>>>
>>>> The *input* to simulating termination analyzer HHH(DDD)
>>>> specifies recursive simulation that can never reach its
>>>> *simulated "return" instruction final halt state*
>>>>
>>>> *Every rebuttal to this changes the words*
>>> Do not imply that I support your claims.
>>
>> I am not implying anything. I am directly stating
>> that you have agreed that when DDD is correctly simulated
>> by HHH that it cannot possibly reach its own simulated
>> "return" instruction and terminate normally.
> 
> Endless recursion is endless recursion.  Correctly simulated endless
> recursion is endless recursion. 

Great. No one else besides you and I agree that DDD
correctly simulated by HHH cannot possibly reach its
*simulated "return" instruction final halt state*

>  This has no useful or interesting
> consequences.  Do you agree?
> 

It is very useful because it is isomorphic to this:
(The standard Halting Problem counter-example input)

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

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