Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,sci.logic Subject: Re: D correctly simulated by H proved for THREE YEARS --- rewritten Date: Wed, 12 Jun 2024 22:37:23 -0400 Organization: i2pn2 (i2pn.org) 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 02:37:23 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="4009708"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: Bytes: 5372 Lines: 111 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. If the programmer is too stupid to understand the requirements, he never should have claimed his program was a Halt Decider. You keep on making that sort of mistake, confusing deterministic machines with Willful beings. I guess you are just proving that you are too stupid to know what you were supposed to do, and have admitted that you have wasted 20 years working on a problem you didn't understand. > >> The PROGRMMER making it needs to understand the question in which ever >> form it is presented. >> >>> >>>> I guess they don't to LIARS. >>>> >>>> And your whole idea that truth comes out of the meaning of the words >>>> is just a LIE to you. >>>> >>>>> >>>>> When it does this it does not end up with the behavior >>>>> of the directly executed D(D). >>>> >>>> Which just means it fails to do what it must to be a Halt decider. >>>> >>> >>> H must compute question that it is being asked. >>> Did not know that H does not understand English? >> >> So, I guess you "Meaning of the words" arguement is just thrown out >> the door. >> >> So, since YOU are the programmer of H, I guess you are claiming it >> unfair to ask YOU to understand the Englis language version of the >> quesitn. >> >> >>> >>> The question that H computes IS NOT THE BEHAVIOR OF D(D). >>> IT DOES NOT MATTER HOW MUCH IT IS SUPPOSED TO DO THAT. >> >> Then you are admitting that you H just fails to meet ANY version of >> the actual requirements of a Halt Decider, and that YOU are just >> admitting to being a LIAR. >> >> There goes you claim to have never lied. You just admitted to a doozy. >> > > No the problem has always been that you are just too freaking stupid. > That is my canned reply every time you call me a liar. > Which is just another LIE of yours. Your problem is you have lost the concept of truth, because you have lived a life filled with lies. That is why I call you a PATHOLOGICAL liar. You LIE, because you no longer can understand the difference between truth and falsehood. >> >>> >>> How much more do I have to dumb this down for an MIT grad? >>> EE is not a directly relevant field so maybe quite a bit. >>> >> >> Except you don't understand that Professor Sipser is from that exact >> same department as which I studied in. The department name is >> Electrical Engineering and Computer Science, and I did spend time in >> the CS part of the program. >> >> I suspect I know more about it than you, after all, I can write real >> Turing Machines to handle moderate problems. >