Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: D correctly simulated by H proved for THREE YEARS --- rewritten Date: Wed, 12 Jun 2024 22:26:39 -0500 Organization: A noiseless patient Spider Lines: 59 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 13 Jun 2024 05:26:39 +0200 (CEST) Injection-Info: dont-email.me; posting-host="72fba8c553b5e17b65491f92678bf7b8"; logging-data="2187402"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/DVhx341pte0jSLahgaG6I" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:+LWaSFw0v44ufcSZCK+B2mvgJ7U= In-Reply-To: Content-Language: en-US Bytes: 3870 On 6/12/2024 10:08 PM, Richard Damon wrote: > On 6/12/24 10:48 PM, olcott wrote: >> On 6/12/2024 9:37 PM, Richard Damon wrote: >>> On 6/12/24 10:25 PM, olcott wrote: >>>> On 6/12/2024 9:16 PM, Richard Damon wrote: >>>>> On 6/12/24 9:50 PM, olcott wrote: >>>>>> On 6/12/2024 8:36 PM, Richard Damon wrote: >>>>>>> On 6/12/24 9:27 PM, olcott wrote: >>>>>>>> >>>>>>>> THAT IS THE QUESTION THAT IS ASSUMED. >>>>>>>> THAT IS NOT THE QUESTION THAT IS BEING ASKED. >>>>>>> >>>>>>> How do you say that? >>>>>>> >>>>>>> Do you not understand the meaning of the words "Halt Decider"? >>>>>>> >>>>>>>> >>>>>>>> H must derive the question that it is being asked by computing >>>>>>>> the mapping from its finite string input to the behavior specified >>>>>>>> by this finite string input. >>>>>>> >>>>>>> So, Definitions don't mean anything? >>>>>>> >>>>>> >>>>>> Halt deciders are not being asked English questions nitwit. >>>>> >>>>> But the formal question can be translated into English. >>>>> >>>>> And the PROBLEM statements can be written in English as a >>>>> requirements doecument. >>>>> >>>>> "Halt Deciders" don't need to "understand" the question, they just >>>>> do what they are programmed to do. >>>> >>>> H can only see that it must report on D correctly simulated by H. >>>> No one ever tells it anything different than this. >>> >>> H doesn't need to "know" what it is doing. It PROGRAMMER does. >>> >> >> The input to H(D,D) does not tell H to look at the behavior of D(D). >> >> You are currently too ignorant to understand this mainly because >> you don't want to bother to seriously consider that I may be correct. >> >> > > Of course the input doesn't tell it that. The problem description tells > the programmer that is what he was supposed to do. > The INPUT must tell the program what the question is. What does the expression: COMPUTE THE MAPPING FROM INPUTS mean to you in your own words? -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer