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, 03:37:23
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v4dm13$3qbnc$10@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
User-Agent : Mozilla Thunderbird
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.
Date | Sujet | # | | Auteur |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 373 | | olcott |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 10 | | joes |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 4 | | Mikko |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 3 | | olcott |
11 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 2 | | Mikko |
11 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | olcott |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 5 | | olcott |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 4 | | joes |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 3 | | olcott |
10 Jun 24 | Re: D simulated by H unproved for THREE YEARS --- | 2 | | joes |
10 Jun 24 | Re: D simulated by H unproved for THREE YEARS --- | 1 | | olcott |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 362 | | Richard Damon |
11 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 361 | | olcott |
11 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 360 | | Richard Damon |
11 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 359 | | olcott |
11 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 358 | | Richard Damon |
11 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 357 | | olcott |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 355 | | Richard Damon |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 354 | | olcott |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 302 | | Python |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 301 | | olcott |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 300 | | Richard Damon |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 299 | | olcott |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 298 | | Richard Damon |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 297 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 296 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 295 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 288 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 287 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 285 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 284 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 283 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 282 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 281 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 280 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 274 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 273 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 272 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 271 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 270 | | Richard Damon |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 269 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 1 | | joes |
14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 267 | | Richard Damon |
14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 236 | | olcott |
14 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 235 | | Richard Damon |
14 Jun 24 | H(D,D) cannot even be asked about the behavior of D(D) | 234 | | olcott |
14 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 231 | | Richard Damon |
14 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 230 | | olcott |
14 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 229 | | Richard Damon |
14 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 228 | | olcott |
14 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 169 | | joes |
14 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 168 | | olcott |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 1 | | Richard Damon |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 166 | | joes |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 2 | | olcott |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 1 | | Richard Damon |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 163 | | Mikko |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 162 | | olcott |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 1 | | Richard Damon |
16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 160 | | Mikko |
16 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 159 | | olcott |
17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 158 | | Mikko |
17 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 157 | | olcott |
18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 156 | | Mikko |
18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 155 | | olcott |
18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 154 | | Mikko |
18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 153 | | olcott |
18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 152 | | Mikko |
18 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 151 | | olcott |
19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 150 | | Mikko |
19 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 149 | | olcott |
20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 148 | | Mikko |
20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 147 | | olcott |
20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 146 | | Mikko |
20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 145 | | olcott |
20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 5 | | joes |
20 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 4 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 3 | | Fred. Zwarts |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 2 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 1 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 56 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 55 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 54 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 53 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 52 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 51 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 50 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 47 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 46 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 45 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 44 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 43 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 42 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 41 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 40 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 39 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 38 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 37 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 36 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 35 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 34 | | Richard Damon |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 2 | | olcott |
21 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 83 | | Mikko |
15 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 58 | | Richard Damon |
14 Jun 24 | Re: H(D,D) cannot even be asked about the behavior of D(D) | 2 | | joes |
15 Jun 24 | H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies | 12 | | olcott |
15 Jun 24 | H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 18 | | olcott |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 5 | | joes |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 1 | | joes |
13 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 6 | | joes |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 51 | | Richard Damon |
12 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Fred. Zwarts |