Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Anyone that disagrees with this is not telling the truth ---- V4
Date: Mon, 19 Aug 2024 21:24:42 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <67837ddc003407e4926675360b2cfeab4843ad43@i2pn2.org>
References: <v9q52r$1tedb$1@dont-email.me> <v9v62s$2r09r$1@dont-email.me>
 <v9vcuu$2rjt1$5@dont-email.me>
 <adb5612eba2f4377ad4efda9a5c98c3a3e137efb@i2pn2.org>
 <va0mlk$32g4t$1@dont-email.me>
 <0fa571c92c424a389043145d38719604eb191c7d@i2pn2.org>
 <va0p93$32g4t$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 20 Aug 2024 01:24:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3166590"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <va0p93$32g4t$2@dont-email.me>
Content-Language: en-US
Bytes: 5159
Lines: 117

On 8/19/24 8:50 PM, olcott wrote:
> On 8/19/2024 7:46 PM, Richard Damon wrote:
>> On 8/19/24 8:06 PM, olcott wrote:
>>> On 8/19/2024 6:08 PM, Richard Damon wrote:
>>>> On 8/19/24 8:14 AM, olcott wrote:
>>>>> On 8/19/2024 5:17 AM, Fred. Zwarts wrote:
>>>>>
>>>>> *Everything that is not expressly stated below is*
>>>>> *specified as unspecified*
>>>>>
>>>>> void DDD()
>>>>> {
>>>>>    HHH(DDD);
>>>>>    return;
>>>>> }
>>>>>
>>>>> _DDD()
>>>>> [00002172] 55         push ebp      ; housekeeping
>>>>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>>>>> [00002175] 6872210000 push 00002172 ; push DDD
>>>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>>>> [0000217f] 83c404     add esp,+04
>>>>> [00002182] 5d         pop ebp
>>>>> [00002183] c3         ret
>>>>> Size in bytes:(0018) [00002183]
>>>>>
>>>>> *It is a basic fact that DDD emulated by HHH according to*
>>>>> *the semantics of the x86 language cannot possibly stop*
>>>>> *running unless aborted* (out of memory error excluded)
>>>>>
>>>>> X = DDD emulated by HHH∞ according to the semantics of the x86 
>>>>> language
>>>>> Y = HHH∞ never aborts its emulation of DDD
>>>>> Z = DDD never stops running
>>>>>
>>>>> My claim boils down to this: (X ∧ Y) ↔ Z
>>>>>
>>>>> void EEE()
>>>>> {
>>>>>    HERE: goto HERE;
>>>>> }
>>>>>
>>>>> HHHn correctly predicts the behavior of DDD the same
>>>>> way that HHHn correctly predicts the behavior of EEE.
>>>>>
>>>>>>>
>>>>>>
>>>>>> Which proves that the simulation failed to reach the end. This 
>>>>>> makes the simulation incomplete and therefore incorrect.
>>>>>> The simulating HHH is programmed to abort and halt. The simulated 
>>>>>> HHH should behave exactly in the same way, so no cheating with the 
>>>>>> Root variable is allowed.
>>>>>> The the simulating HHH aborts when the simulated HHH has only one 
>>>>>> cycle to go, after which it would also abort and halt, but the 
>>>>>> simulating HHH failed to reach this end.
>>>>>
>>>>> I made my claim more precise.
>>>>>
>>>>
>>>> Remember, you said: Everything that is not expressly stated below is*
>>>> specified as unspecified
>>>>
>>>> Therefore HHHn can NOT correctly emulate DDD past the call HHH 
>>>> instruction, because it doesn't HAVE the instruciton of the PROGRAM 
>>>> DDD (which is what you emulate) since it doesn't have the 
>>>> instruction at 000015D2.
>>>>
>>>
>>> That they are in the same memory space is entailed
>>> in the same way that the x86 code is not being run
>>> on a rubber ducky is entailed.
>>>
>>
>> But not EXPLICITLY stated, so that is a lie.
>>
> 
> If you want to pay head games you can play them by yourself.


What "Head Games", Just quoting back the rules you stated as the ground 
rules.

Not my fault you can't follow the rules you just made up, because you 
don;t know what that means.

Of course, the real problem is you just don't understand what truth is, 
so nothing you do makes sense.

> 
>> And what is WRONG with running the code on a rubber ducky, it might be 
>> powered by Pentium.
>>
>> And, if they ARE in the same memory space, then it is DDDn not DDD, as 
>> there are each different by the memory that came with them.
>>
>> Sorry, you are just caught out in your lie and stupdity.
>>
>> You just don't knunderstand what you are talking about.
>>
>>
>>>> The contents of the memory at 000015D2 can not be accessable to 
>>>> HHHn, as the input is described as DDD and not DDDn, so the input 
>>>> doesn't change between instances, and thus CAN'T contain that memory 
>>>> that changes, and thus is not valid to be part of the input.
>>>>
>>>> Thus we also have that HHH∞ can not exist, so both your premises 
>>>> just fail to be possible.
>>>>
>>>> Sorry, you are just repeating your error because apparently you just 
>>>> can't learn.
>>>>
>>>>
>>>
>>>
>>
> 
>