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