Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 02 Aug 2024 22:55:52 +0000
Date: Fri, 2 Aug 2024 17:55:52 -0500
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: Hypothetical possibilities --- Complete Proof
Newsgroups: comp.theory
References: <v7gl30$3j9fi$1@dont-email.me> <v8306v$3c7$1@news.muc.de>
 <v83161$3dftr$11@dont-email.me> <v84udt$3rp4t$1@dont-email.me>
 <v8bc6j$159av$1@dont-email.me>
 <ea673a5b4ed43fbddf938c69bd013b0cf2ca325d@i2pn2.org>
 <v8c6kb$1de3l$1@dont-email.me>
 <9f3112e056ad6eebf35f940c34b802b46addcad4@i2pn2.org>
 <v8cde0$1ecgo$1@dont-email.me> <v8ctgt$1gbu7$4@dont-email.me>
 <v8dkc3$1kii7$3@dont-email.me> <v8e55v$1nrnh$1@dont-email.me>
 <v8e9vu$1oqd7$1@dont-email.me> <v8fftq$22ege$3@dont-email.me>
 <v8fuj5$24rl1$10@dont-email.me> <v8g1j7$24u77$6@dont-email.me>
 <v8g2jl$26d7d$1@dont-email.me> <v8ibf5$2p7ho$1@dont-email.me>
 <s3CdnbweXt8ohDD7nZ2dnZfqn_ednZ2d@brightview.co.uk>
 <a287d1fc2c1fc90d4381e46eae05287b96e801b9@i2pn2.org>
 <-Vednah5VvbtwTD7nZ2dnZfqnPSdnZ2d@brightview.co.uk>
 <87frrmczso.fsf@bsb.me.uk>
Content-Language: en-US
From: olcott <NoOne@NoWhere.com>
In-Reply-To: <87frrmczso.fsf@bsb.me.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <Cp-cnbASQeFk_jD7nZ2dnZfqlJ-dnZ2d@giganews.com>
Lines: 46
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-3S2mRZEsdcdyuyt+5oQwEWqCRcTDf6hrfb6RJPu54YKBKzHUb+U9R6RS99oQXBPVi+wv4c6TyT2nKzp!+6PaeymRz2xeBhspFbVI4C4FTfXNQFzd8Xt98IW+wtRa5ddCyBs2zumCqwNFu+tYpS0BOH1JBqI=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 3422

On 8/2/2024 5:42 PM, Ben Bacarisse wrote:
> Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:
> 
>> Of course these traces don't support PO's overall case he is claiming,
>> because the (various) logs show that DDD halts, and that HHH(DDD) reports
>> DDD as non-halting, exactly as Linz/Sipser argue. Er, that's about it!
> 
> PO certainly used to claim that false (non-halting) is the correct
> result "even though DDD halts" (I've edited the quote to reflect a name
> change).  Unless he's changed this position, the traces do support his
> claim that what everyone else calls the wrong answer is actually the
> right one.
> 

I had to simplify it into simpler steps because the
recent people don't seem to know the first thing
about programming.

Who here is too stupid to know that DDD correctly
simulated by HHH cannot possibly reach its own
return instruction?

void DDD()
{
   HHH(DDD);
   return;
}

*You are the only one that got this much correctly*

On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > I don't think that is the shell game.  PO really /has/ an H (it's
 > trivial to do for this one case) that correctly determines that P(P)
 > *would* never stop running *unless* aborted.
....
 > But H determines (correctly) that D would not halt if it were not
 > halted.  That much is a truism.

*Even Mike got much less that that*

-- 
Copyright 2024 Olcott

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