Re: D correctly simulated by H proved for THREE YEARS --- rewritten

Liste des GroupesRevenir à theory 
Sujet : Re: D correctly simulated by H proved for THREE YEARS --- rewritten
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 18. Jun 2024, 17:32:53
Autres entêtes
Organisation : -
Message-ID : <v4scrl$1edq0$1@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 23 24 25 26 27 28 29 30 31
User-Agent : Unison/2.2
On 2024-06-18 15:39:09 +0000, olcott said:

On 6/18/2024 10:25 AM, Fred. Zwarts wrote:
Op 18.jun.2024 om 14:43 schreef olcott:
On 6/18/2024 4:16 AM, Fred. Zwarts wrote:
Op 17.jun.2024 om 15:07 schreef olcott:
On 6/17/2024 2:22 AM, Mikko wrote:
On 2024-06-16 12:37:38 +0000, olcott said:
 
On 6/16/2024 1:21 AM, Fred. Zwarts wrote:
Op 15.jun.2024 om 17:23 schreef olcott:
On 6/15/2024 10:12 AM, Fred. Zwarts wrote:
Op 15.jun.2024 om 16:48 schreef olcott:
On 6/15/2024 9:37 AM, Fred. Zwarts wrote:
 Is this the new definition of "pathological"?
 *It is the same thing that I have been saying all along*
 00   typedef void (*ptr)(); // pointer to void function
01
02   int HH(ptr P, ptr I);
03
04   void DDD(int (*x)())
05   {
06     HH(x, x);
07     return;
08   }
09
10   int main()
11   {
12     HH(DDD,DDD);
13   }
 Line 12 main()
   invokes HH(DDD,DDD); that simulates DDD()
 *REPEAT UNTIL outer HH aborts*
   Line 06 simulated DDD()
   invokes simulated HH(DDD,DDD); that simulates DDD()
 DDD correctly simulated by HH never reaches its own "return"
instruction and halts.
 So, you agree that you are changing definitions.
 Not at all. The original definition still applies when it
is made more generic.
 01       int D(ptr p)
02       {
03         int Halt_Status = H(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
 D correctly simulated by H has isomorphic behavior to DDD
correctly simulated by HH, both get stuck in recursive
simulation.
 
 When asked what is a pathological program olcott replied:
Op 14.jun.2024 om 21:18 schreef olcott:
For any program H that might determine whether programs halt, a
"pathological" program D, called with some input, can pass its own
source and its input to H and then specifically do the opposite of what
H predicts D will do. No H can exist that handles this case.
  No he defines a "pathological" program as a program that calls H.
All words about doing the opposite of what H predicts, have disappeared.
Everyone sees the difference, but he is stuck is rebuttal mode and denies the change of definition.
 
 The code that "does the opposite" was never reachable by
a simulating halt decider thus does not change the problem
for a simulating halt decider when this code is removed.
 By simplifying the problem we gain cognitive leverage. With
less details to pay attention to the while simplified problem
can be more deeply understood.
 
His only excuse is that in both cases a recursive simulation is seen, but that is not the point.
He had already proved earlier that in
        int main()
       {
         return H(main, 0);
       }
 H produces a false negative, because main halts, whereas H reports
 The input does not halt and deciders are only accountable
for the behavior of their input.
 If the above main does not halt then H it calls is not a decider.
 
 That is merely a more difficult to understand
example of this simplest possible case.
 void DDD()
{
   H0(DDD);
}
 int main()
{
   H0(DDD);
}
 
 No, the other case is is simpler:
         int main()
        {
          return H(main, 0);
        }
 DDD is an unneeded complication. These four lines are sufficient to see that there is no other reason for the false negative than H itself.
 We understand that you do not like the simplest example, because it shows that the reasoning that there is a difference between main calling DDD(), or calling H0(DDD) is futile. In the simplest case this futile trick is not possible.
Therefore, we see that the whole problem is that H, or H0 is unable to simulate itself sufficiently far enough to see the real behaviour. It always aborts one cycle too early and, therefore, produces false negatives.
 The is merely your lack or programming skill. The outer H0 always
has at least one more execution trace than any of the inner ones
thus if it does not abort none of them do.
 
 Very good olcott! We agree on this point. At least you understand something of programming.
 I worked for the Airforce at the Airforce base with a secret
clearance on the NPOESS Satellite ingest in C++.
https://en.wikipedia.org/wiki/NPOESS
That satellite mever flew.
--
Mikko

Date Sujet#  Auteur
8 Jun 24 * Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)87olcott
8 Jun 24 +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)2olcott
8 Jun 24 i`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
8 Jun 24 +- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
9 Jun 24 `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)83Fred. Zwarts
9 Jun 24  +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)2olcott
9 Jun 24  i`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
9 Jun 24  +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)12olcott
9 Jun 24  i+- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
10 Jun 24  i`* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)10Mikko
10 Jun 24  i `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)9olcott
11 Jun 24  i  +- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
11 Jun 24  i  +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)6Mikko
11 Jun 24  i  i`* DDD correctly simulated by HH cannot possibly halt5olcott
12 Jun 24  i  i +- Re: DDD correctly simulated by HH cannot possibly halt1Richard Damon
12 Jun 24  i  i `* Re: DDD correctly simulated by HH cannot possibly halt3Mikko
12 Jun 24  i  i  `* Re: DDD correctly simulated by HH cannot possibly halt2olcott
15 Jun 24  i  i   `- Re: DDD correctly simulated by HH cannot possibly halt1Mikko
15 Jun 24  i  `- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Mikko
10 Jun 24  `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)68olcott
10 Jun 24   +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)62Fred. Zwarts
10 Jun 24   i+* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)6olcott
10 Jun 24   ii+* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)3joes
10 Jun 24   iii`* Proof that D correctly simulated by H has different behavior than D(D)2olcott
12 Jun 24   iii `- Re: Proof that D correctly simulated by H has different behavior than D(D)1Richard Damon
10 Jun 24   ii+- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Fred. Zwarts
12 Jun 24   ii`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
10 Jun 24   i`* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)55olcott
10 Jun 24   i +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)53Fred. Zwarts
10 Jun 24   i i`* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)52olcott
11 Jun 24   i i `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)51Fred. Zwarts
11 Jun 24   i i  `* D correctly simulated by H proved for THREE YEARS --- rewritten50olcott
12 Jun 24   i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten49Fred. Zwarts
12 Jun 24   i i    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten48olcott
12 Jun 24   i i     `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten47Fred. Zwarts
12 Jun 24   i i      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten46olcott
12 Jun 24   i i       `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten45Fred. Zwarts
12 Jun 24   i i        `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten44olcott
12 Jun 24   i i         `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten43Fred. Zwarts
12 Jun 24   i i          `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten42olcott
13 Jun 24   i i           `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten41Fred. Zwarts
13 Jun 24   i i            `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten40olcott
13 Jun 24   i i             `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten39Fred. Zwarts
13 Jun 24   i i              `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten38olcott
14 Jun 24   i i               `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten37Fred. Zwarts
14 Jun 24   i i                `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten36olcott
14 Jun 24   i i                 `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten35Fred. Zwarts
14 Jun 24   i i                  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten34olcott
14 Jun 24   i i                   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten33Fred. Zwarts
14 Jun 24   i i                    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten32olcott
15 Jun 24   i i                     `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten31Fred. Zwarts
15 Jun 24   i i                      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten30olcott
15 Jun 24   i i                       +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
15 Jun 24   i i                       `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten28Fred. Zwarts
15 Jun 24   i i                        `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten27olcott
15 Jun 24   i i                         +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
15 Jun 24   i i                         `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten25Fred. Zwarts
15 Jun 24   i i                          `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten24olcott
15 Jun 24   i i                           +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
15 Jun 24   i i                           `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten22Fred. Zwarts
15 Jun 24   i i                            `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten21olcott
15 Jun 24   i i                             +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
16 Jun 24   i i                             `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten19Fred. Zwarts
16 Jun 24   i i                              `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten18olcott
16 Jun 24   i i                               +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
16 Jun 24   i i                               +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten5Fred. Zwarts
17 Jun 24   i i                               i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten4olcott
17 Jun 24   i i                               i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten3Fred. Zwarts
17 Jun 24   i i                               i  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten2olcott
17 Jun 24   i i                               i   `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts
17 Jun 24   i i                               `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten11Mikko
17 Jun 24   i i                                `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten10olcott
18 Jun 24   i i                                 +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten2Mikko
18 Jun 24   i i                                 i`- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott
18 Jun 24   i i                                 `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten7Fred. Zwarts
18 Jun 24   i i                                  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten6olcott
18 Jun 24   i i                                   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten5Fred. Zwarts
18 Jun 24   i i                                    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten4olcott
18 Jun 24   i i                                     +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts
18 Jun 24   i i                                     `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten2Mikko
18 Jun 24   i i                                      `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott
12 Jun 24   i `- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)1Richard Damon
10 Jun 24   `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)5Richard Damon
10 Jun 24    `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)4olcott
10 Jun 24     +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)2joes
10 Jun 24     i`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1olcott
11 Jun 24     `- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal