Re: D correctly simulated by H proved for THREE YEARS --- rewritten

On 6/13/24 12:06 AM, olcott wrote:

On 6/12/2024 10:49 PM, Richard Damon wrote:

On 6/12/24 11:26 PM, olcott wrote:

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

>
Of course not.
>
Most programs just read in data, and do the operation they were programmed to do on the data.
>

 Simplistic.
H must be able to objectively determine the exact behavior
that it is to report on and no one ever told it about D(D).
They only told it about D correctly simulated by H.

No, it does not.
To be CORRECT, it needs to determine that behavior.
And for the problem to be valid, there needs to be an objective standard to measure the answer, but t doesn't need to be computable by H.

 

I will ask you, where in the input to H is the question about asking about its behavior encoded in ANY way?
>
The question a program answers, is part of the program specification, not the input.
>

 The input must tell H about its behavior and it does not tell
H about D(D).

No, the input must represent the thing being asked about.
And the input to H(D,D) does FULLY specify the information needed to determine the answer (at least when you include that the input ALSO includes all the instructions of H and everything that H calls, else YOU made the error of not giving H enough information)

 

Yes, some programs implement a flexible question, where some of the details about the question are added to the input, but the form of that question is still fully specified by the program specifications.
>
You just don't understand what programs are.
>
I guess you are just a failed coder.

 I have two patents on OCR technology.
 

So? Were they actually useful?
I have several patents, and a number of idea protected under trade secrets because they were to useful to be patented.