Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply Date: Tue, 25 Jun 2024 16:22:08 -0500 Organization: A noiseless patient Spider Lines: 42 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 25 Jun 2024 23:22:09 +0200 (CEST) Injection-Info: dont-email.me; posting-host="422dd2162c45ab1a09b084523bb5ca66"; logging-data="1831882"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18LZl7oLgZb2voMWKX/ULFZ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:n0Rqk6V9+giHztCADAXfdWQ2E0A= In-Reply-To: Content-Language: en-US Bytes: 3151 On 6/25/2024 3:31 PM, joes wrote: > Am Fri, 21 Jun 2024 12:22:04 -0500 schrieb olcott: >> On 6/21/2024 12:09 PM, Richard Damon wrote: >>> On 6/21/24 1:04 PM, olcott wrote: >>>> On 6/21/2024 10:25 AM, Richard Damon wrote: >>>>> On 6/21/24 10:44 AM, olcott wrote: >>>>>> On 6/21/2024 9:02 AM, Richard Damon wrote: >>>>>>> On 6/21/24 9:01 AM, olcott wrote: >>>>>>>> On 6/21/2024 2:44 AM, Fred. Zwarts wrote: >>>>>>>>> Op 20.jun.2024 om 16:12 schreef olcott: >>>>>>>>>> On 6/20/2024 3:09 AM, Fred. Zwarts wrote: >>>>>>>>>>> Op 20.jun.2024 om 02:00 schreef olcott: > >>>>>>>>>>> If the simulation of a program with a loop of 5 iterations is >>>>>>>>>>> aborted after 3 iterations, all instructions are correctly >>>>>>>>>>> simulated. Nevertheless, it is an incorrect simulation, because >>>>>>>>>>> it should simulate up to the final state of the program. > >>>>> First, NO ONE has said that *H* (or what every you are calling your >>>>> decider today) can correct simulate the input to a final state. > >> When there is no mapping from the finite string x86 machine language >> input to H(D,D) to the behavior of D(D) then H(D,D) IS NOT being asked >> about the behavior of D(D). > It means that H can't do the mapping, i.e. it is not simulating correctly. > It does a different map that doesn't fit its specification. > No that is incorrect. D correctly simulated by every H that can possibly exist does not have the same behavior of any directly executed D(D) that halts. If I ask you: What time is it? How do you know that my actual question is what are you planning on having for dinner? -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer