Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma

Liste des GroupesRevenir à s logic 
Sujet : Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 22. Jun 2024, 01:38:23
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v552tf$lkkb$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 28 29 30 31 32 33 34
User-Agent : Mozilla Thunderbird
On 6/21/24 7:27 PM, olcott wrote:
On 6/21/2024 4:46 PM, Richard Damon wrote:
On 6/21/24 5:25 PM, olcott wrote:
On 6/21/2024 4:10 PM, Richard Damon wrote:
On 6/21/24 4:52 PM, olcott wrote:
On 6/21/2024 3:00 PM, Richard Damon wrote:
On 6/21/24 3:45 PM, olcott wrote:
On 6/21/2024 2:33 PM, Richard Damon wrote:
On 6/21/24 3:19 PM, olcott wrote:
int sum(int x, int y){ return x + y; }
When this program is asked: sum(3,4) this maps to 7.
When this program is asked: sum(5,6) this DOES NOT map to 7.
>
Right.
>
>
When H is asked H(D,D) this maps to D correctly simulated by H.
When H is asked H(D,D) this DOES NOT map to behavior that halts.
>
>
>
Nope. H(M,d) is DEFINED (if it is correct) to determine if M(d) will Halt.
>
>
If one "defines" that the input to H(D,D) maps to the behavior
of D(D) yet cannot show this because it does not actually
map to that behavior *THEN THE DEFINITION IS SIMPLY WRONG*
>
But we CAN show that it maps to the behavior of D(D) (at least when the representation of D includes the H that is giving the 0 answer) by just runnig it and seeing what it does.
>
>
No you cannot show that the mapping for the input to
H(D,D) maps to the behavior of D(D).
>
The DEFINITION of a Halt Decider gives what H is SUPPOSED to do, if it is one.
>
You claim it is a correct Halt decider
>
>
When we do not simply make false assumptions about the
behavior that the input to H(D,D) specifies:
   That the call from D correctly simulated by H to H(D,D) returns
>
What "False Assumption"?
>
You just are ignorant of the DEFINTION of the problem.
>
 *DOGMA DOES NOT COUNT AS SUPPORTING REASONING*
*DOGMA DOES NOT COUNT AS SUPPORTING REASONING*
*DOGMA DOES NOT COUNT AS SUPPORTING REASONING*
But DEFINITIONS DO.

 To "define" that the call from the D correctly simulated
by H to H(D,D) returns when the actual facts prove that
this call *DOES NOT RETURN* is ultimately unreasonable
because *THERE IS NO REASONING* that supports this.
 
But that isn't the definition that we are using.
NOTHING talks about the correct simulation BY H, except the invalid and broken Olcott-Computation theory, which we are not using here.

Date Sujet#  Auteur
10 Jun 24 * Re: D correctly simulated by H proved for THREE YEARS ---270olcott
10 Jun 24 +* Re: D correctly simulated by H proved for THREE YEARS ---267Richard Damon
11 Jun 24 i`* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error266olcott
11 Jun 24 i `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error265Richard Damon
11 Jun 24 i  `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error264olcott
11 Jun 24 i   `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error263Richard Damon
11 Jun 24 i    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten262olcott
12 Jun 24 i     +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten260Richard Damon
12 Jun 24 i     i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten259olcott
12 Jun 24 i     i +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten223Python
12 Jun 24 i     i i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten222olcott
12 Jun 24 i     i i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten221Richard Damon
12 Jun 24 i     i i  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten220olcott
12 Jun 24 i     i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten219Richard Damon
12 Jun 24 i     i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules218olcott
13 Jun 24 i     i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules217Richard Damon
13 Jun 24 i     i i      `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules216olcott
13 Jun 24 i     i i       `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules215Richard Damon
13 Jun 24 i     i i        `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules214olcott
13 Jun 24 i     i i         `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules213Richard Damon
13 Jun 24 i     i i          `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules212olcott
13 Jun 24 i     i i           `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules211Richard Damon
13 Jun 24 i     i i            `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules210olcott
13 Jun 24 i     i i             `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules209Richard Damon
13 Jun 24 i     i i              `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules208olcott
13 Jun 24 i     i i               `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules207Richard Damon
13 Jun 24 i     i i                `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules206olcott
13 Jun 24 i     i i                 `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules205Richard Damon
13 Jun 24 i     i i                  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules204olcott
13 Jun 24 i     i i                   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules203Richard Damon
13 Jun 24 i     i i                    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules202olcott
14 Jun 24 i     i i                     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules201Richard Damon
14 Jun 24 i     i i                      +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules172olcott
14 Jun 24 i     i i                      i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules171Richard Damon
14 Jun 24 i     i i                      i `* H(D,D) cannot even be asked about the behavior of D(D)170olcott
14 Jun 24 i     i i                      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)169Richard Damon
14 Jun 24 i     i i                      i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)168olcott
14 Jun 24 i     i i                      i    `* Re: H(D,D) cannot even be asked about the behavior of D(D)167Richard Damon
14 Jun 24 i     i i                      i     `* Re: H(D,D) cannot even be asked about the behavior of D(D)166olcott
15 Jun 24 i     i i                      i      +* Re: H(D,D) cannot even be asked about the behavior of D(D)58Richard Damon
15 Jun 24 i     i i                      i      i`* Re: H(D,D) cannot even be asked about the behavior of D(D)57olcott
15 Jun 24 i     i i                      i      i `* Re: H(D,D) cannot even be asked about the behavior of D(D)56Richard Damon
15 Jun 24 i     i i                      i      i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)6olcott
15 Jun 24 i     i i                      i      i  i`* Re: H(D,D) cannot even be asked about the behavior of D(D)5Richard Damon
15 Jun 24 i     i i                      i      i  i `* Re: H(D,D) cannot even be asked about the behavior of D(D)4olcott
15 Jun 24 i     i i                      i      i  i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)3Richard Damon
15 Jun 24 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    `- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24 i     i i                      i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)49olcott
15 Jun 24 i     i i                      i      i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)48Richard Damon
15 Jun 24 i     i i                      i      i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.47olcott
15 Jun 24 i     i i                      i      i     +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.39Richard Damon
15 Jun 24 i     i i                      i      i     i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.38olcott
15 Jun 24 i     i i                      i      i     i `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.37Richard Damon
15 Jun 24 i     i i                      i      i     i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.36olcott
15 Jun 24 i     i i                      i      i     i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.35Richard Damon
15 Jun 24 i     i i                      i      i     i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.34olcott
15 Jun 24 i     i i                      i      i     i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.33Richard Damon
15 Jun 24 i     i i                      i      i     i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.32olcott
15 Jun 24 i     i i                      i      i     i       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.31Richard Damon
15 Jun 24 i     i i                      i      i     i        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.30olcott
15 Jun 24 i     i i                      i      i     i         `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.29Richard Damon
15 Jun 24 i     i i                      i      i     i          `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.28olcott
15 Jun 24 i     i i                      i      i     i           `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.27Richard Damon
15 Jun 24 i     i i                      i      i     i            `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.26olcott
15 Jun 24 i     i i                      i      i     i             `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.25Richard Damon
15 Jun 24 i     i i                      i      i     i              `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.24olcott
15 Jun 24 i     i i                      i      i     i               `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.23Richard Damon
15 Jun 24 i     i i                      i      i     i                `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.22olcott
15 Jun 24 i     i i                      i      i     i                 `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.21Richard Damon
15 Jun 24 i     i i                      i      i     i                  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.20olcott
15 Jun 24 i     i i                      i      i     i                   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.19Richard Damon
15 Jun 24 i     i i                      i      i     i                    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.18olcott
15 Jun 24 i     i i                      i      i     i                     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.17Richard Damon
15 Jun 24 i     i i                      i      i     i                      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.16olcott
15 Jun 24 i     i i                      i      i     i                       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.15Richard Damon
15 Jun 24 i     i i                      i      i     i                        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.14olcott
15 Jun 24 i     i i                      i      i     i                         `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.13Richard Damon
15 Jun 24 i     i i                      i      i     i                          `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.12olcott
16 Jun 24 i     i i                      i      i     i                           `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.11Richard Damon
16 Jun 24 i     i i                      i      i     i                            `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.10olcott
16 Jun 24 i     i i                      i      i     i                             `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.9Richard Damon
16 Jun 24 i     i i                      i      i     i                              `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.8olcott
16 Jun 24 i     i i                      i      i     i                               `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.7Richard Damon
16 Jun 24 i     i i                      i      i     i                                `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.6olcott
16 Jun 24 i     i i                      i      i     i                                 `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.5Richard Damon
16 Jun 24 i     i i                      i      i     i                                  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.4olcott
16 Jun 24 i     i i                      i      i     i                                   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.3Richard Damon
16 Jun 24 i     i i                      i      i     i                                    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.2olcott
16 Jun 24 i     i i                      i      i     i                                     `- Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.1Richard Damon
15 Jun 24 i     i i                      i      i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.7joes
15 Jun 24 i     i i                      i      i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken.6olcott
15 Jun 24 i     i i                      i      i       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)5Richard Damon
15 Jun 24 i     i i                      i      i        +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)2olcott
15 Jun 24 i     i i                      i      i        i`- Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)1Richard Damon
15 Jun 24 i     i i                      i      i        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)2olcott
15 Jun 24 i     i i                      i      i         `- Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood)1Richard Damon
21 Jun 24 i     i i                      i      +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply48olcott
21 Jun 24 i     i i                      i      i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply47Richard Damon
21 Jun 24 i     i i                      i      i +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply44olcott
21 Jun 24 i     i i                      i      i i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply43Richard Damon
21 Jun 24 i     i i                      i      i `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply2olcott
22 Jun 24 i     i i                      i      `* DDD correctly emulated by H059olcott
15 Jun 24 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                      `* H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES16olcott
12 Jun 24 i     i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten35Richard Damon
12 Jun 24 i     `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts
10 Jun 24 +- Re: D correctly simulated by H proved for THREE YEARS ---1olcott
11 Jun 24 `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal