Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
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: <v4dm13$3qbnc$10@i2pn2.org>
References: <v45tec$4q15$1@dont-email.me> <v46na7$3ifov$4@i2pn2.org>
 <v48be9$rgsh$1@dont-email.me> <v48gh6$3kcoe$4@i2pn2.org>
 <v48jv2$se9c$1@dont-email.me> <v49dge$3kcoe$5@i2pn2.org>
 <v4a0hs$157ic$3@dont-email.me> <v4ak5o$3kcoe$6@i2pn2.org>
 <v4am8r$19edk$1@dont-email.me> <v4b17k$3nf9n$2@i2pn2.org>
 <v4b48k$1f89t$4@dont-email.me> <v4c12t$3oop0$4@i2pn2.org>
 <v4ck2c$1o4b4$2@dont-email.me> <v4d9gt$3qbnc$2@i2pn2.org>
 <v4daoq$1sioe$2@dont-email.me> <v4dbun$3qbnc$4@i2pn2.org>
 <v4df07$1te0b$1@dont-email.me> <v4dfsu$3qbnd$2@i2pn2.org>
 <v4dhuk$1tsdf$3@dont-email.me> <v4diet$3qbnc$7@i2pn2.org>
 <v4dj9i$1tsdf$5@dont-email.me> <v4dkp0$3qbnd$7@i2pn2.org>
 <v4dlac$225kb$2@dont-email.me>
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: <v4dlac$225kb$2@dont-email.me>
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.
>