Deutsch English Français Italiano |
<v5fce0$1nsua$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> 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: <v5fce0$1nsua$1@dont-email.me> References: <v4vrfg$2793f$1@dont-email.me> <v50o2t$2fh98$2@dont-email.me> <v51dc8$2jmrd$1@dont-email.me> <v53b0s$324b4$1@dont-email.me> <v53tjm$35vak$1@dont-email.me> <v5415i$lkkc$1@i2pn2.org> <v543k2$376u3$1@dont-email.me> <v5460r$lkkc$3@i2pn2.org> <v54br6$38n2k$2@dont-email.me> <v54c3r$lkkc$5@i2pn2.org> <v54crs$38n2k$4@dont-email.me> <v5f9fh$134dk$3@i2pn2.org> 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: <v5f9fh$134dk$3@i2pn2.org> 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