Deutsch   English   Français   Italiano  
<13387e8f0a2295347846da67fb93f783fb16134f@i2pn2.org>

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

Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!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: Thu, 3 Apr 2025 19:44:48 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <13387e8f0a2295347846da67fb93f783fb16134f@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <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>
 <vsi7tk$jd38$4@dont-email.me>
 <0b211b499961466f2b6a69af2f9a337c9f59bf9b@i2pn2.org>
 <vskr0r$378kj$8@dont-email.me>
 <912b0fe8dba03ab574ac0577f8eb754cabca4a5c@i2pn2.org>
 <vsn2ji$1pot5$2@dont-email.me>
 <41e7e701841c084157ea44641878452ccccc172d@i2pn2.org>
 <vsn3en$1pot5$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 3 Apr 2025 23:45:00 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3019286"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vsn3en$1pot5$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 5009
Lines: 81

On 4/3/25 6:52 PM, olcott wrote:
> On 4/3/2025 5:46 PM, Richard Damon wrote:
>> On 4/3/25 6:37 PM, olcott wrote:
>>> On 4/2/2025 9:35 PM, Richard Damon wrote:
>>>> On 4/2/25 10:15 PM, olcott wrote:
>>>>> On 4/2/2025 8:52 AM, joes wrote:
>>>>>> Am Tue, 01 Apr 2025 21:37:40 -0500 schrieb olcott:
>>>>>>> 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:
>>>>>>
>>>>>>>>>> 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.
>>>>>> *finite
>>>>>>
>>>>>>> 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.
>>>>>> It must also return the right value.
>>>>>>
>>>>>
>>>>> By process of elimination and by the above criteria
>>>>> we can determine that not stopping the emulation
>>>>> causes HHH to never halt. This only leaves stopping
>>>>> the emulation that semantically entails that the
>>>>> input must be rejected.
>>>>>
>>>>
>>>> No, because HHH must do what HHH does.
>>>>
>>>
>>> So I am tong because you claim that HHH
>>> does not do what it does?
>>>
>>
>> The problem is that your logic claims that HHH doesn't do what it 
>> does, which is just emulate its inputpartially and them return.
>>
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> Do you really think that anyone knowing the C
> programming language is too stupid to see that
> DDD simulated by HHH cannot possibly return?
> 

WHich is irrelevent, as HHH to be a decider must abort and return some 
answer, and thus DDD is halting.

Your problem is you are believing your own lies that HHH's partial 
emulation proves that its input isn't halting, even when another 
emulatpr os able to completly emulate it to the end.

All you are proving is that you are just a bad liar that hold tightly to 
their lies even when exposed, and just claims that world is wrong, not them.

You are also proving you are too stupid to be able to learn the real 
defintions of the words you use, so you just continue to lie by using 
your wrong definitions.

Sorry, you are just proving you are nothing but a stupid and ignorant 
pathologically lying idiot.