Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Any honest person that knows the x86 language can see... predict correctly Date: Thu, 1 Aug 2024 15:57:47 -0500 Organization: A noiseless patient Spider Lines: 47 Message-ID: References: <754c182e15a6e06e7133446c48f85c041088f0f4@i2pn2.org> <37cf34f89a88e851964dd5045c927d5d7d119737@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 01 Aug 2024 22:57:48 +0200 (CEST) Injection-Info: dont-email.me; posting-host="3121e7e48560b53e45601f59b50fa691"; logging-data="2515802"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19C2C+mn5fauZvdqfK6MOJ3" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:/2DTN+/g3gzRBiwEfvum8sGZuMA= Content-Language: en-US In-Reply-To: <37cf34f89a88e851964dd5045c927d5d7d119737@i2pn2.org> Bytes: 3858 On 8/1/2024 2:39 PM, joes wrote: > Am Thu, 01 Aug 2024 10:50:29 -0500 schrieb olcott: >> On 8/1/2024 10:44 AM, joes wrote: >>> Am Thu, 01 Aug 2024 08:04:23 -0500 schrieb olcott: >>>> On 8/1/2024 7:56 AM, Fred. Zwarts wrote: >>>>> Op 01.aug.2024 om 13:51 schreef olcott: >>>>>> On 8/1/2024 2:46 AM, Fred. Zwarts wrote: >>>>>>> Op 01.aug.2024 om 05:51 schreef olcott: >>>>>>>> On 7/31/2024 10:08 PM, wij wrote: >>>>>>>>> On Tue, 2024-07-30 at 18:50 -0500, olcott wrote: >>>>>>>>>> >>>>>>>>>> It is not supposed to be a general solution to the halting >>>>>>>>>> problem. >>>>>>>>>> it only shows how the "impossible" input is correctly determined >>>>>>>>>> to be non halting. >>>>>>>>> But how do you determine it is non-halting? >>>>>>>>> As I know you are even unable to define what 'halt' mean !!! >>>>>>>> If DDD correctly emulated by HHH cannot possibly reach its return >>>>>>>> instruction then it never halts. >>>>>>> But a correct simulation is impossible. >>>>>> When HHH does what-ever-the-hell the x86 semantics specifies then >>>>>> HHH is correct. >>>>> But since HHH deviates from the semantics of the x86 language (by >>>>> skipping instructions of a haltingĀ  program) it is incorrect. >>>> Only a freaking moron would believe that a non terminating input >>>> should be simulated forever. >>> I mean, how many iterations of an infinite loop can I skip simulating >>> or how many do I have to simulate to get identical behaviour? >> When one disables the abort code then the cycle never stops. > When one introduces it, it becomes unnecessary, because the cycle stops > from the INSIDE. Unless the outside aborts infinite execution occurs. If the outside waits for the next inner one to abort then the next inner one does the same thing on and on... > After how many repetitions can infinite recursion be aborted before > the simulation becomes wrong? > An infinite computation can never be completed. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer