Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations

Liste des GroupesRevenir à c theory 
Sujet : Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 13. Jun 2024, 15:07:35
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4equn$28g4v$5@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 6/13/2024 3:12 AM, joes wrote:
Am Wed, 12 Jun 2024 20:50:42 -0500 schrieb olcott:
On 6/12/2024 8:36 PM, Richard Damon wrote:
On 6/12/24 9:27 PM, olcott wrote:
On 6/12/2024 7:52 PM, Richard Damon wrote:
On 6/12/24 8:37 PM, olcott wrote:
On 6/12/2024 6:45 PM, Richard Damon wrote:
On 6/12/24 7:25 PM, olcott wrote:
On 6/12/2024 6:03 PM, Richard Damon wrote:
On 6/12/24 12:57 PM, olcott wrote:
On 6/12/2024 6:33 AM, Richard Damon wrote:
 
Why, because the claim isn't about the simulate by H, but the
behavior of the difectly executed D(D), or its simulation by a
UTM.
H(D,D) must compute the mapping from its finite string input
transforming the finite string of its input into the behavior that
it specifies using finite string transformation rules.
And give the right answer: does D(D) halt?
Yes, it only CAN do what it can compute, but what it MUST do is
answer the question posed to it, which might be impossible. And
that Question is about the behavior of the direct execution of the
machine represented by its input.
*H is not even being asked that question*
Oh yes, it is. We want to know if D(D) halts.
So, H isn't a Halt Decider?
Because the question being asked of *ALL* halt deciders, is "Does the
machine/input described by its input halt when it is run?"
THAT IS THE QUESTION THAT IS ASSUMED.
THAT IS NOT THE QUESTION THAT IS BEING ASKED.
H answers the wrong question.
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.
Nitwit. It can't derive the answer.
 
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.
Which is "does D(D) halt?", not "can I simulate this?".
 
Halt deciders do not generally understand English, your assumption
that they do is ridiculously false.
H(D,D) computes the mapping from its finite string input to derive
the behavior that it must report on.
int sum(int x, int y) {return x + y; }
sum(3,4) must provide the sum of 3+4 EVEN IF YOU EXPECT OTHERWISE.
H(D,D) must provide that halt status of D correctly simulated by H
EVEN IF YOU EXPECT OTHERWISE.
You may believe in your mind that H(D,D) must report on the behavior
of D(D) yet H(D,D) does not share this belief.
There is no path from the input to H(D,D) by applying finite string
transformation rules to the input to derived the behavior of D(D).

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 H is not the halt decider you are looking for.
 
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
10 Jun 24 * Re: D correctly simulated by H proved for THREE YEARS ---373olcott
10 Jun 24 +* Re: D correctly simulated by H proved for THREE YEARS ---10joes
10 Jun 24 i+* Re: D correctly simulated by H proved for THREE YEARS ---4Mikko
10 Jun 24 ii`* Re: D correctly simulated by H proved for THREE YEARS ---3olcott
11 Jun 24 ii `* Re: D correctly simulated by H proved for THREE YEARS ---2Mikko
11 Jun 24 ii  `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott
10 Jun 24 i`* Re: D correctly simulated by H proved for THREE YEARS ---5olcott
10 Jun 24 i `* Re: D correctly simulated by H proved for THREE YEARS ---4joes
10 Jun 24 i  `* Re: D correctly simulated by H proved for THREE YEARS ---3olcott
10 Jun 24 i   `* Re: D simulated by H unproved for THREE YEARS ---2joes
10 Jun 24 i    `- Re: D simulated by H unproved for THREE YEARS ---1olcott
10 Jun 24 `* Re: D correctly simulated by H proved for THREE YEARS ---362Richard Damon
11 Jun 24  `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error361olcott
11 Jun 24   `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error360Richard Damon
11 Jun 24    `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error359olcott
11 Jun 24     `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error358Richard Damon
11 Jun 24      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten357olcott
12 Jun 24       +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten355Richard Damon
12 Jun 24       i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten354olcott
12 Jun 24       i +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten302Python
12 Jun 24       i i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten301olcott
12 Jun 24       i i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten300Richard Damon
12 Jun 24       i i  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten299olcott
12 Jun 24       i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten298Richard Damon
12 Jun 24       i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules297olcott
13 Jun 24       i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules296Richard Damon
13 Jun 24       i i      `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules295olcott
13 Jun 24       i i       +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules288Richard Damon
13 Jun 24       i i       i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules287olcott
13 Jun 24       i i       i +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules285Richard Damon
13 Jun 24       i i       i i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules284olcott
13 Jun 24       i i       i i `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules283Richard Damon
13 Jun 24       i i       i i  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules282olcott
13 Jun 24       i i       i i   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules281Richard Damon
13 Jun 24       i i       i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules280olcott
13 Jun 24       i i       i i     +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules274Richard Damon
13 Jun 24       i i       i i     i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules273olcott
13 Jun 24       i i       i i     i `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules272Richard Damon
13 Jun 24       i i       i i     i  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules271olcott
13 Jun 24       i i       i i     i   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules270Richard Damon
13 Jun 24       i i       i i     i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules269olcott
13 Jun 24       i i       i i     i     +- Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules1joes
14 Jun 24       i i       i i     i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules267Richard Damon
14 Jun 24       i i       i i     i      +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules236olcott
14 Jun 24       i i       i i     i      i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules235Richard Damon
14 Jun 24       i i       i i     i      i `* H(D,D) cannot even be asked about the behavior of D(D)234olcott
14 Jun 24       i i       i i     i      i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)231Richard Damon
14 Jun 24       i i       i i     i      i  i`* Re: H(D,D) cannot even be asked about the behavior of D(D)230olcott
14 Jun 24       i i       i i     i      i  i `* Re: H(D,D) cannot even be asked about the behavior of D(D)229Richard Damon
14 Jun 24       i i       i i     i      i  i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)228olcott
14 Jun 24       i i       i i     i      i  i   +* Re: H(D,D) cannot even be asked about the behavior of D(D)169joes
14 Jun 24       i i       i i     i      i  i   i`* Re: H(D,D) cannot even be asked about the behavior of D(D)168olcott
15 Jun 24       i i       i i     i      i  i   i +- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24       i i       i i     i      i  i   i `* Re: H(D,D) cannot even be asked about the behavior of D(D)166joes
15 Jun 24       i i       i i     i      i  i   i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)2olcott
15 Jun 24       i i       i i     i      i  i   i  i`- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24       i i       i i     i      i  i   i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)163Mikko
15 Jun 24       i i       i i     i      i  i   i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)162olcott
15 Jun 24       i i       i i     i      i  i   i    +- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
16 Jun 24       i i       i i     i      i  i   i    `* Re: H(D,D) cannot even be asked about the behavior of D(D)160Mikko
16 Jun 24       i i       i i     i      i  i   i     `* Re: H(D,D) cannot even be asked about the behavior of D(D)159olcott
17 Jun 24       i i       i i     i      i  i   i      `* Re: H(D,D) cannot even be asked about the behavior of D(D)158Mikko
17 Jun 24       i i       i i     i      i  i   i       `* Re: H(D,D) cannot even be asked about the behavior of D(D)157olcott
18 Jun 24       i i       i i     i      i  i   i        `* Re: H(D,D) cannot even be asked about the behavior of D(D)156Mikko
18 Jun 24       i i       i i     i      i  i   i         `* Re: H(D,D) cannot even be asked about the behavior of D(D)155olcott
18 Jun 24       i i       i i     i      i  i   i          `* Re: H(D,D) cannot even be asked about the behavior of D(D)154Mikko
18 Jun 24       i i       i i     i      i  i   i           `* Re: H(D,D) cannot even be asked about the behavior of D(D)153olcott
18 Jun 24       i i       i i     i      i  i   i            `* Re: H(D,D) cannot even be asked about the behavior of D(D)152Mikko
18 Jun 24       i i       i i     i      i  i   i             `* Re: H(D,D) cannot even be asked about the behavior of D(D)151olcott
19 Jun 24       i i       i i     i      i  i   i              `* Re: H(D,D) cannot even be asked about the behavior of D(D)150Mikko
19 Jun 24       i i       i i     i      i  i   i               `* Re: H(D,D) cannot even be asked about the behavior of D(D)149olcott
20 Jun 24       i i       i i     i      i  i   i                `* Re: H(D,D) cannot even be asked about the behavior of D(D)148Mikko
20 Jun 24       i i       i i     i      i  i   i                 `* Re: H(D,D) cannot even be asked about the behavior of D(D)147olcott
20 Jun 24       i i       i i     i      i  i   i                  `* Re: H(D,D) cannot even be asked about the behavior of D(D)146Mikko
20 Jun 24       i i       i i     i      i  i   i                   `* Re: H(D,D) cannot even be asked about the behavior of D(D)145olcott
20 Jun 24       i i       i i     i      i  i   i                    +* Re: H(D,D) cannot even be asked about the behavior of D(D)5joes
20 Jun 24       i i       i i     i      i  i   i                    i`* Re: H(D,D) cannot even be asked about the behavior of D(D)4olcott
21 Jun 24       i i       i i     i      i  i   i                    i `* Re: H(D,D) cannot even be asked about the behavior of D(D)3Fred. Zwarts
21 Jun 24       i i       i i     i      i  i   i                    i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)2olcott
21 Jun 24       i i       i i     i      i  i   i                    i   `- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    +* Re: H(D,D) cannot even be asked about the behavior of D(D)56Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i`* Re: H(D,D) cannot even be asked about the behavior of D(D)55olcott
21 Jun 24       i i       i i     i      i  i   i                    i `* Re: H(D,D) cannot even be asked about the behavior of D(D)54Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply53olcott
21 Jun 24       i i       i i     i      i  i   i                    i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply52Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply51olcott
21 Jun 24       i i       i i     i      i  i   i                    i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply50Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply47olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply46Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply45olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply44Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply43olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply42Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply41olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply40Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply39olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply38Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i         `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply37olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i          `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply36Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i           `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply35olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i            `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply34Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply2olcott
21 Jun 24       i i       i i     i      i  i   i                    `* Re: H(D,D) cannot even be asked about the behavior of D(D)83Mikko
15 Jun 24       i i       i i     i      i  i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)58Richard Damon
14 Jun 24       i i       i i     i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)2joes
15 Jun 24       i i       i i     i      +* H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies12olcott
15 Jun 24       i i       i i     i      `* H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES18olcott
13 Jun 24       i i       i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules5joes
13 Jun 24       i i       i `- Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules1joes
13 Jun 24       i i       `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules6joes
12 Jun 24       i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten51Richard Damon
12 Jun 24       `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal