Path: ...!news.tomockey.net!news.samoylyk.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1 ---
 STA
Date: Tue, 1 Apr 2025 21:37:40 -0500
Organization: A noiseless patient Spider
Lines: 38
Message-ID: <vsi7tk$jd38$4@dont-email.me>
References: <vrfuob$256og$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>
 <524b81bf3658a42bcba56f807fce28bfea67d36f@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 02 Apr 2025 04:37:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1f6598129bdb8510307242921439c403";
	logging-data="636008"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19nsKhE3Tfa1KF4+ziyt/3R"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SB6f9lLZX99is4QzIvTMCdVlvm4=
X-Antivirus: Norton (VPS 250401-6, 4/1/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <524b81bf3658a42bcba56f807fce28bfea67d36f@i2pn2.org>
Content-Language: en-US
Bytes: 3561

On 4/1/2025 8:13 PM, Richard Damon wrote:
> 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.
> 

You already admitted that you are lying about this.
DDD emulated by HHH for an infinite number of steps
never reaches its final halt state.

HHH sees this in one recursive emulation of DDD.

*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. The only rebuttal to this is rejecting the notion that 
deciders must always halt.

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