Deutsch English Français Italiano |
<vakhnf$302rl$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!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: DDD emulated by HHH --- (does not refer to prior posts) Date: Tue, 27 Aug 2024 07:44:31 -0500 Organization: A noiseless patient Spider Lines: 55 Message-ID: <vakhnf$302rl$2@dont-email.me> References: <vajdta$2qe9s$1@dont-email.me> <vak3a0$2teq9$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 27 Aug 2024 14:44:31 +0200 (CEST) Injection-Info: dont-email.me; posting-host="4e49f1fc8d79a2451e9ca324c6492361"; logging-data="3148661"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19m6Jr6xnGGLOaW025MVDuX" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:NF8D3IG7jYFLCx3mnnk3VnTMg1A= Content-Language: en-US In-Reply-To: <vak3a0$2teq9$1@dont-email.me> Bytes: 2965 On 8/27/2024 3:38 AM, Fred. Zwarts wrote: > Op 27.aug.2024 om 04:33 schreef olcott: >> This is intended to be a stand-alone post that does not >> reference anything else mentioned in any other posts. >> >> 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] >> >> When we assume that: >> (a) HHH is an x86 emulator that is in the same memory space as DDD. >> (b) HHH emulates DDD according to the semantics of the x86 language. >> >> then we can see that DDD emulated by HHH cannot possibly get past >> its own machine address 0000217a. >> > > > Yes, we see. In fact DDD is not needed at all. A straw man fallacy (sometimes written as strawman) is the informal fallacy of refuting an argument different from the one actually under discussion... https://en.wikipedia.org/wiki/Straw_man > In the following program > > int main() { > return HHH(main); > } > > HHH cannot possibly simulate itself up to the end of itself. Still HHH > halts, which proves that there is an end. The only conclusion is, that > the simulation is incomplete and therefore incorrect. > Further it is incorrect to think that the fact that the simulation halts > too soon is an indication for non-halting behaviour. The analysis of > that 'special condition' is the real problem, not the partial incorrect > simulation. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer