Path: ...!2.eu.feeder.erje.net!feeder.erje.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: D correctly simulated by H proved for THREE YEARS --- rewritten
Date: Wed, 12 Jun 2024 21:25:16 -0500
Organization: A noiseless patient Spider
Lines: 91
Message-ID: <v4dlac$225kb$2@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 13 Jun 2024 04:25:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="72fba8c553b5e17b65491f92678bf7b8";
	logging-data="2168459"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/OsFtpWSsv9G4hGxxqLUId"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:twqI4PFi1YfeoHVjofusnk9szbE=
Content-Language: en-US
In-Reply-To: <v4dkp0$3qbnd$7@i2pn2.org>
Bytes: 4701

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.

> 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.

> 
>>
>> 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.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer