| Deutsch English Français Italiano |
|
<v6688q$2pc84$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Flat out dishonest or totally ignorant?
Date: Thu, 4 Jul 2024 08:32:10 -0500
Organization: A noiseless patient Spider
Lines: 71
Message-ID: <v6688q$2pc84$1@dont-email.me>
References: <v5vkun$1b0k9$1@dont-email.me> <v60dci$1ib5p$1@dont-email.me>
<v60red$1kr1q$2@dont-email.me> <v61hn7$1oec9$1@dont-email.me>
<v61ipa$1og2o$2@dont-email.me> <v61jod$1oec9$2@dont-email.me>
<v61leu$1p1uo$1@dont-email.me>
<dd109397687b2f8e74c3e1e3d826772db8b65e40@i2pn2.org>
<v62i31$21b7a$1@dont-email.me> <v632ta$23ohm$2@dont-email.me>
<v63jej$26loi$6@dont-email.me> <v63s4h$28goi$2@dont-email.me>
<v63s92$28dpi$3@dont-email.me>
<e7e50b27b2f0df2cbd65f7dbafa975f597b8ce78@i2pn2.org>
<v665vj$2oun1$11@dont-email.me>
<a9f31a178ec10c3a25aa7e03c2574cb3ad01d1c9@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 04 Jul 2024 15:32:11 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8ec8ab09a9c087279b96ae2505557d8c";
logging-data="2928900"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Gz2xsOwg4CxDJYlx+Htsx"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:exKsoNoPPFdG8PwfKoMoxRBE9To=
In-Reply-To: <a9f31a178ec10c3a25aa7e03c2574cb3ad01d1c9@i2pn2.org>
Content-Language: en-US
On 7/4/2024 8:09 AM, joes wrote:
> Am Thu, 04 Jul 2024 07:53:07 -0500 schrieb olcott:
>> On 7/4/2024 6:09 AM, joes wrote:
>>> Am Wed, 03 Jul 2024 10:55:14 -0500 schrieb olcott:
>>>> On 7/3/2024 10:52 AM, Fred. Zwarts wrote:
>>>>> Similarly, if you think that HHH can simulate itself correctly, you
>>>>> are wrong.
>>>>> int H(ptr p, ptr i);
>>>>> int main()
>>>>> {
>>>>> return H(main, 0);
>>>>> }
>>>>> You showed that H returns, but that the simulation thinks it does not
>>>>> return.
>>>>> DDD is making it unnecessarily complex, but has the same problem.
>>>> main correctly emulated by H never stops running unless aborted.
>>> As a matter of fact, H does abort it. H then returns to main,
>>> which then stops running.
>> main correctly simulated by H never returns.
> I was talking about main itself.
>
That is not the one that HHH examines.
int main()
{
HHH(main);
}
_main()
[00002183] 55 push ebp
[00002184] 8bec mov ebp,esp
[00002186] 6883210000 push 00002183 ; push main
[0000218b] e833f4ffff call 000015c3 ; call HHH
[00002190] 83c404 add esp,+04
[00002193] 33c0 xor eax,eax
[00002195] 5d pop ebp
[00002196] c3 ret
Size in bytes:(0020) [00002196]
machine stack stack machine assembly
address address data code language
======== ======== ======== ========= =============
[00002183][001037dd][00000000] 55 push ebp
[00002184][001037dd][00000000] 8bec mov ebp,esp
[00002186][001037d9][00002183] 6883210000 push 00002183
[0000218b][001037d5][00002190] e833f4ffff call 000015c3
New slave_stack at:103881 ; *separate emulation process created*
Begin Local Halt Decider Simulation Execution Trace Stored at:113889
[00002183][00113879][0011387d] 55 push ebp
[00002184][00113879][0011387d] 8bec mov ebp,esp
[00002186][00113875][00002183] 6883210000 push 00002183
[0000218b][00113871][00002190] e833f4ffff call 000015c3
New slave_stack at:14e2a9 ; *separate emulation process created*
[00002183][0015e2a1][0015e2a5] 55 push ebp
[00002184][0015e2a1][0015e2a5] 8bec mov ebp,esp
[00002186][0015e29d][00002183] 6883210000 push 00002183
[0000218b][0015e299][00002190] e833f4ffff call 000015c3
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
[00002190][001037dd][00000000] 83c404 add esp,+04
[00002193][001037dd][00000000] 33c0 xor eax,eax
[00002195][001037e1][00000018] 5d pop ebp
[00002196][001037e5][00000000] c3 ret
Number of Instructions Executed(10066) == 150 Pages
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer