Path: ...!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: DDD specifies recursive emulation to HHH and halting to HHH1 ---
 STA
Date: Tue, 1 Apr 2025 21:13:07 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <524b81bf3658a42bcba56f807fce28bfea67d36f@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <vs9r1b$28tqg$2@dont-email.me>
 <vs9t45$2f6n5$1@dont-email.me>
 <9f2ff3ab9b99a7bb6dfa0885f9757f810ce52e66@i2pn2.org>
 <vsaam4$2sfhq$1@dont-email.me> <vsbi7e$1hblk$1@dont-email.me>
 <vsc6qi$27lbo$2@dont-email.me>
 <8a3e7e93e6cad20b29d23405a0e6dbd497a492ac@i2pn2.org>
 <vscegq$2fv3s$2@dont-email.me>
 <26f33bb039fda7d28ae164cfc4d0f582d4698f31@i2pn2.org>
 <vsclsb$2n4jc$1@dont-email.me>
 <36a4c76730b23cf78ddde73c723116b5380973a1@i2pn2.org>
 <vsctnm$2ub5m$2@dont-email.me>
 <4285ea3219a2d5f2d6c52e84697fa4e3d3dc80cb@i2pn2.org>
 <vsd18m$379dn$1@dont-email.me> <vsdjff$3o5ff$1@dont-email.me>
 <vsem50$th5g$3@dont-email.me>
 <77c20f5832db4b47f5226dcb39bd2be7ba107a0c@i2pn2.org>
 <vsf8tv$1i673$2@dont-email.me>
 <5cb726749c8a7457af5da692f77c6a04bc0c7401@i2pn2.org>
 <vsfdqb$1m8qr$2@dont-email.me>
 <733db53c4b67cf1fbbd45fdf503b1d27539b7414@i2pn2.org>
 <vsfigf$1r8rb$2@dont-email.me>
 <bf1e010d6259a4e5e1118f51856f3c72a0094b34@i2pn2.org>
 <vsht8v$90ss$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 2 Apr 2025 01:15:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2747098"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vsht8v$90ss$6@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3111
Lines: 30

On 4/1/25 7:35 PM, olcott wrote:
> On 4/1/2025 5:36 AM, Richard Damon wrote:
>> On 3/31/25 10:19 PM, olcott wrote:
>>>
>>> *Simulating termination analyzer Principle*
>>> It is always correct for any simulating termination
>>> analyzer to stop simulating and reject any input
>>> that would otherwise prevent its own termination.
>>>
>>
>> But DDD doesn't prevent its own terminatation, as it calls an HHH that 
>> WILL abort its emulation and return and answer.
>>
> 
> You know that DDD stopping running and DDD reaching its
> final halt state are not the same thing you damned liar.
> 

Right, the DDD who's simulation is stopped hasn't shown non-halting 
behavior, just not-yet-halted.

Only the COMPLETE emulation of the input, which will see that it halts, 
determines whether it halts or not.

Your problem is you think the finite number of steps that HHH emulated 
is the unbounded number of steps needed for non-halting (because correct 
emulation doesn't stop in a finite number of steps unless it reaches a 
final state).

Sorry, you are just proving you are just a pathological liar that 
doesn't understand what he is talking about.