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

Liste des GroupesRevenir à c theory 
Sujet : Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 21. Jun 2024, 23:46:53
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v54scd$lkkb$11@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
User-Agent : Mozilla Thunderbird
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.
You "Correctly Simulated by H" is just your own made up FABLE for the problem.
If H is called a Halt Decider, then the correct answer is based on the definition of a Halt Decider, which is the behavior of the program represented by the input when directly run.
PERIOD.

 Then H(D,D) does correctly report on the actual behavior
that its input specifies.
Only if it is called a POOP decider, not a HALT decider.

 You can see that this call does not return yet claim
that it returns anyway... The mindset of a Liar or
one indoctrinated as the Moonies were indoctrinated.
What "call" doesn't return?

 Moon's book, The Divine Principle, informs the beliefs
of the Unification Church. Moon considered himself the
Second Coming of Christ...
https://en.wikipedia.org/wiki/Unification_Church
 
So? More illogical Red Herring.
YOU are the one trying to lie about what YOU want to be your Dogma, but no one else accepts.
Sorry, you are just proving your stupidity.

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