Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: The philosophy of computation reformulates existing ideas on a
 new basis ---x86 code is a liar?
Date: Tue, 12 Nov 2024 10:07:11 -0600
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <vgvuff$1lsa4$1@dont-email.me>
References: <vfli1h$fj8s$1@dont-email.me>
 <e7a092c593ad1431a1bf6589d0102312545612ef@i2pn2.org>
 <vghb16$2ge1v$1@dont-email.me>
 <e51f21daadd358ef13801c918106c2fdc65a9f6b@i2pn2.org>
 <vghe3p$2gr3p$1@dont-email.me>
 <4cb98b3918d6745f53bb19582b59e786d4af5022@i2pn2.org>
 <vghgar$2h30o$1@dont-email.me>
 <e40629600e317dba47dd3d066d83899fa7b8a7ab@i2pn2.org>
 <vgiq1d$2nkqv$1@dont-email.me>
 <e84328012ce8d1e75b9b569f15f74fde315a0548@i2pn2.org>
 <vgjd2f$2qdc5$1@dont-email.me>
 <4654d9db2fa0906d7ab7a1c6c09139ab0b0110cd@i2pn2.org>
 <vgl7vl$37h38$4@dont-email.me> <vgnph1$3qcpl$1@dont-email.me>
 <vgns0o$3qq7s$1@dont-email.me> <vgsnod$upmp$1@dont-email.me>
 <vgt61q$11e5a$3@dont-email.me>
 <4eebe767dc236a7770566fc1593aae14a38cb085@i2pn2.org>
 <vgtbpd$12ji4$1@dont-email.me>
 <49bbc7f6ba667da66bc56c69db049774c066d084@i2pn2.org>
 <vgvmtb$1kbe2$1@dont-email.me>
 <ca70b6033280b57ed179cbe6792c8731217b00a6@i2pn2.org>
 <vgvpuj$1kv24$1@dont-email.me>
 <190ff9a41f0035b7063e71b38a054a07e3ffdebf@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Nov 2024 17:07:12 +0100 (CET)
Injection-Info: dont-email.me; posting-host="1205ca3535b6dc13288889d08451e971";
	logging-data="1765700"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Evw0fieSgmoza1bfYndwI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:N7x8rysw56jOAcpna34yF4LMd8o=
In-Reply-To: <190ff9a41f0035b7063e71b38a054a07e3ffdebf@i2pn2.org>
X-Antivirus: Norton (VPS 241112-4, 11/12/2024), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
Bytes: 4477

On 11/12/2024 9:46 AM, joes wrote:
> Am Tue, 12 Nov 2024 08:49:55 -0600 schrieb olcott:
>> On 11/12/2024 8:23 AM, joes wrote:
>>> Am Tue, 12 Nov 2024 07:58:03 -0600 schrieb olcott:
>>>> On 11/12/2024 1:12 AM, joes wrote:
>>>>> Am Mon, 11 Nov 2024 10:35:57 -0600 schrieb olcott:
>>>>>> On 11/11/2024 10:25 AM, joes wrote:
>>>>>>> Am Mon, 11 Nov 2024 08:58:02 -0600 schrieb olcott:
>>>>>>>> On 11/11/2024 4:54 AM, Mikko wrote:
>>>>>>>>> On 2024-11-09 14:36:07 +0000, olcott said:
>>>>>>>>>> On 11/9/2024 7:53 AM, Mikko wrote:
>>>>>
>>>>>>>> The actual computation itself does involve HHH emulating itself
>>>>>>>> emulating DDD. To simply pretend that this does not occur seems
>>>>>>>> dishonest.
>>>>>>> Which is what you are doing: you pretend that DDD calls some other
>>>>>>> HHH that doesn’t abort.
>>>>>> DDD emulated by HHH does not reach its "return" instruction whether
>>>>>> HHH aborts its emulation or not.
>>> No. When the HHH that simulates DDD aborts, it also means that the HHH
>>> that DDD calls aborts,

*This is a verified fact that seems too difficult for you to understand*
>> In no case does DDD emulated by any HHH that aborts at some point or not
>> does the emulated DDD ever reach its "return" instruction.

> Guessing „No HHH that may or may not abort simulating a DDD that calls
> that (aborting or not) HHH can simulate DDD halting.”
*There is no guessing to it*

> That is wrong. When you abort simulating, you can’t tell if it maybe
> would have halted later on. 

_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]

Anyone with sufficient understanding of the x86 language
fully well knows that no DDD emulated by any HHH can
possibly reach past its own [0000217a] machine address.

> You can’t say that something didn’t halt
> just because you didn’t simulate further than some fixed number of
> steps.
> 

*This must just be over your head*

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