Deutsch English Français Italiano |
<vh4ti4$2qj8g$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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 ---SUCCINCT Date: Thu, 14 Nov 2024 07:22:12 -0600 Organization: A noiseless patient Spider Lines: 77 Message-ID: <vh4ti4$2qj8g$1@dont-email.me> References: <vfli1h$fj8s$1@dont-email.me> <vgfq86$24mon$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> <vh20o5$25r1d$1@dont-email.me> <vh3bn2$2e37l$6@dont-email.me> <a00c3fbcaded06f27f00d04318140f5b9c890476@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 14 Nov 2024 14:22:13 +0100 (CET) Injection-Info: dont-email.me; posting-host="03e50a320d6e65bd8f9ff48ac19fa030"; logging-data="2968848"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18CuDe7B1WwmAzYALMC9CV7" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:+uAYCrbew8SA4G5qYhrl+Jmvnwg= In-Reply-To: <a00c3fbcaded06f27f00d04318140f5b9c890476@i2pn2.org> X-Antivirus: Norton (VPS 241114-2, 11/14/2024), Outbound message Content-Language: en-US X-Antivirus-Status: Clean Bytes: 5039 On 11/14/2024 2:56 AM, joes wrote: > Am Wed, 13 Nov 2024 17:11:30 -0600 schrieb olcott: >> On 11/13/2024 4:58 AM, Mikko wrote: >>> On 2024-11-12 13:58:03 +0000, olcott said: >>>> 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 final >>>>>> halt state whether HHH aborts its emulation or not. >>>>> When DDD calls a simulator that aborts, that simulator returns to >>>>> DDD, which then halts. >>>> It is not the same DDD as the DDD under test. > > What, then, is the DDD "under test"? The machine code address that is passed to HHH on the stack is the input to HHH thus the code under test. It specifies that HHH emulates itself emulating DDD. HHH is required to abort the emulation of any input that would otherwise result in its own non-termination. DDD is such an input. The DDD executed in main() is never pushed onto the stack of any HHH thus <is not> the input DDD. > >>> If the DDD under the test is not the same as DDD then the test is >>> performed incorrectly and the test result is not valid. >> The DDD under test IS THE INPUT DDD > Yes, exactly. In particular, the one that calls the aborting HHH. > void DDD() { HHH(DDD); return; } If you are not a brain dead moron you could remember that the measure never has been: Does the emulated DDD ever stop running? after be told that this dozens of times. The measure is: Does the emulated DDD ever reach its "return" instruction final halt state? _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] If you were technically competent in the x86 language you would know that the answer to this has always been no. The emulated DDD cycles through its first four instructions never reaching its "ret" instruction final halt state no matter how many times it is emulated. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer