Deutsch English Français Italiano |
<v82vtl$3dq41$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: "Fred. Zwarts" <F.Zwarts@HetNet.nl> Newsgroups: comp.theory Subject: Re: This function proves that only the outermost HHH examines the execution trace Date: Sat, 27 Jul 2024 16:23:48 +0200 Organization: A noiseless patient Spider Lines: 25 Message-ID: <v82vtl$3dq41$2@dont-email.me> References: <v80h07$2su8m$3@dont-email.me> <v82bi4$39v6n$4@dont-email.me> <v82tr5$3dftr$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 27 Jul 2024 16:23:49 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5f623e9acbcbdce9334ab4c51e72f5f6"; logging-data="3598465"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/gv3l5HA/czYn/bQiZ9Prx" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:iql8qn4zIM+A93Ozm6BZ+b7XPSg= In-Reply-To: <v82tr5$3dftr$2@dont-email.me> Content-Language: en-GB Bytes: 2113 Op 27.jul.2024 om 15:48 schreef olcott: > On 7/27/2024 3:36 AM, Fred. Zwarts wrote: >> Op 26.jul.2024 om 17:56 schreef olcott: >>> This is meant for Mike, Joes and Fred don't have the technical >>> competence to understand it. >> >> I have pity with you, > > I am not the one that stupidly believes that a non-terminating > input must be emulated to non-existent completion or the emulation > is wrong. (That is something I never said, but it seems too difficult for you.) You are the one that believes that the simulation of a halting program must be aborted to prevent non-halting. Ha ha. > > That the first HHH to see the non-halting behavior pattern must > abort or none of them abort is simply too difficult for you. That two recursions is not equal to an infinite recursion is already too difficult for you. You keep dreaming of an infinite recursion, when HHH is encoded to abort after two recursions. It is too difficult for you to understand that dreams do not play a role in logic.