Sujet : Re: D correctly simulated by H proved for THREE YEARS --- rewritten
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logicDate : 13. Jun 2024, 05:49:04
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v4dq7g$3qbnc$13@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla Thunderbird
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.
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.
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.
…