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

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