Deutsch English Français Italiano |
<v3fpou$2t7mj$4@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!npeer.as286.net!npeer-ng0.as286.net!weretis.net!feeder8.news.weretis.net!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: D correctly simulated by H cannot possibly reach its own line 06 and halt Date: Sat, 1 Jun 2024 13:37:19 -0500 Organization: A noiseless patient Spider Lines: 43 Message-ID: <v3fpou$2t7mj$4@dont-email.me> References: <v3a40t$1o2ef$1@dont-email.me> <v3asj2$2ihjj$2@i2pn2.org> <v3asv1$1s60g$1@dont-email.me> <v3bvg7$24rgd$1@dont-email.me> <v3cml5$28tmt$1@dont-email.me> <v3cqs8$29k17$2@dont-email.me> <v3crrg$29gdk$4@dont-email.me> <v3fphv$2o13h$5@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 01 Jun 2024 20:37:19 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5617c6a52e82e3edb2307f1199229213"; logging-data="3055315"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18FaNTLcNeKumE0ub2mmuGH" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Zq1/71OR0c8pmSLFeIWio3G6q5E= Content-Language: en-US In-Reply-To: <v3fphv$2o13h$5@i2pn2.org> Bytes: 2941 On 6/1/2024 1:33 PM, joes wrote: > Am Fri, 31 May 2024 10:54:24 -0500 schrieb olcott: > >> On 5/31/2024 10:37 AM, Fred. Zwarts wrote: >>> Op 31.mei.2024 om 16:25 schreef olcott: >>>> On 5/31/2024 2:50 AM, Fred. Zwarts wrote: >>>>> Op 31.mei.2024 om 00:01 schreef olcott: >>>>>> On 5/30/2024 4:54 PM, joes wrote: >>>>>>> Am Thu, 30 May 2024 09:55:24 -0500 schrieb olcott: >>>>>>> >>>> *pure function H definitely halts you are confused* >>>> >>> You can assume a unicorn, but that does not make it existent. You can >>> assume a simulating H that is a pure function and halts, but that does >>> not make them existent. The set of such H is empty. >> >> You simply ignored my proof that you are wrong. > How about you show a terminating H that behaves the same as an infinite loop? > >> D correctly simulated by pure function HH cannot possibly reach >> its own final state at line 06 in any finite number of steps of >> correct simulation. >> >> You keep ignoring that when HH simulates a finite number of steps >> of DD that >> *this means that HH reaches its final state and halts* > If D doesn't halt, H must likewise simulate an infinite number of steps or > be incorrect. > I will not respond to any of your replies while you continue to play head games. *Changing the subject away from this is construed as a head game* DD correctly simulated by pure function HH cannot possibly reach past its own line 03 in any finite number of steps of correct simulation. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer