Re: Can any pathological input thwart a simulating abort decider?

Liste des GroupesRevenir à s logic 
Sujet : Re: Can any pathological input thwart a simulating abort decider?
De : wyniijj5 (at) *nospam* gmail.com (wij)
Groupes : sci.logic
Date : 22. Mar 2024, 21:16:28
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <b7d45961255b55abde15657a2dd7148a1e961a6d.camel@gmail.com>
References : 1 2 3
User-Agent : Evolution 3.50.2 (3.50.2-1.fc39)
On Fri, 2024-03-22 at 14:10 -0500, olcott wrote:
On 3/22/2024 1:58 PM, wij wrote:
On Fri, 2024-03-22 at 13:41 -0500, olcott wrote:
01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   H(D,D);
12 }
 
H is a simulating abort decider that supposed to
correctly determine whether or not it needs to abort
the simulation of any pathological inputs that are
attempting to thwart this abort decision.
 
H must abort every simulated input that would not
otherwise halt to prevent its own non-termination.
 
It is a self-evident verified fact that every H(D,D)
that decides to abort its simulated D(D) is correct
in doing so because this does prevent its own
non-termination.
 
 
In you program listing above (1) H can only return 0, it does not determine anything.
 
I never mentioned any return value and return values are out-of-scope
for this post.
 
In this post we are only looking for a counter-example that can thwart
simulating abort decider H.
 
It is a self-evidently correct verified fact that every implementation
of H(D,D) that aborts its simulation to prevent its otherwise non-
termination is correct in doing so.
 
(2) and, H is empty, there is no code to determine "pathological input", and who
decide "pathological", you or program?
 
 
It is stipulated that every implementation of H(D,D) simulates
its input D(D).
 

Agree what you say here and now.
One thing I care about is that if you insist that POOH solves the halting problem,
there would be many problems.


Date Sujet#  Auteur
22 Mar 24 * Can any pathological input thwart a simulating abort decider?93olcott
22 Mar 24 +* Re: Can any pathological input thwart a simulating abort decider?9wij
22 Mar 24 i`* Re: Can any pathological input thwart a simulating abort decider?8olcott
22 Mar 24 i `* Re: Can any pathological input thwart a simulating abort decider?7wij
22 Mar 24 i  `* Re: Can any pathological input thwart a simulating abort decider?6olcott
22 Mar 24 i   `* Re: Can any pathological input thwart a simulating abort decider?5wij
22 Mar 24 i    `* Re: Can any pathological input thwart a simulating abort decider?4olcott
22 Mar 24 i     `* Re: Can any pathological input thwart a simulating abort decider?3immibis
22 Mar 24 i      `* Re: Can any pathological input thwart a simulating abort decider?2olcott
22 Mar 24 i       `- Re: Can any pathological input thwart a simulating abort decider?1immibis
22 Mar 24 +- Re: Can any pathological input thwart a simulating abort decider?1wij
22 Mar 24 +* Re: Can any pathological input thwart a simulating abort decider?11immibis
22 Mar 24 i`* Re: Can any pathological input thwart a simulating abort decider?10olcott
22 Mar 24 i `* Re: Can any pathological input thwart a simulating abort decider?9immibis
22 Mar 24 i  `* Re: Can any pathological input thwart a simulating abort decider?8olcott
22 Mar 24 i   `* Re: Can any pathological input thwart a simulating abort decider?7immibis
22 Mar 24 i    `* Re: Can any pathological input thwart a simulating abort decider?6olcott
23 Mar 24 i     `* Re: Can any pathological input thwart a simulating abort decider?5immibis
23 Mar 24 i      `* Re: Can any pathological input thwart a simulating abort decider?4olcott
23 Mar 24 i       `* Re: Can any pathological input thwart a simulating abort decider?3immibis
23 Mar 24 i        `* Re: Can any pathological input thwart a simulating abort decider?2olcott
23 Mar 24 i         `- Re: Can any pathological input thwart a simulating abort decider?1Richard Damon
23 Mar 24 +* Re: Can any pathological input thwart a simulating abort decider?7Richard Damon
23 Mar 24 i`* Re: Can any pathological input thwart a simulating abort decider?6olcott
23 Mar 24 i `* Re: Can any pathological input thwart a simulating abort decider?5Richard Damon
23 Mar 24 i  `* Re: Can any pathological input thwart a simulating abort decider?4olcott
23 Mar 24 i   `* Re: Can any pathological input thwart a simulating abort decider?3Richard Damon
23 Mar 24 i    `* Re: Can any pathological input thwart a simulating abort decider?2olcott
23 Mar 24 i     `- Re: Can any pathological input thwart a simulating abort decider?1Richard Damon
23 Mar 24 +* Re: Can any pathological input thwart a simulating abort decider?60Fred. Zwarts
23 Mar 24 i`* Re: Can any pathological input thwart a simulating abort decider?59olcott
23 Mar 24 i +- Re: Can any pathological input thwart a simulating abort decider?1Richard Damon
23 Mar 24 i `* Re: Can any pathological input thwart a simulating abort decider?57Fred. Zwarts
23 Mar 24 i  `* Re: Can any pathological input thwart a simulating abort decider?56olcott
23 Mar 24 i   +* Re: Can any pathological input thwart a simulating abort decider?54Fred. Zwarts
23 Mar 24 i   i`* Re: Can any pathological input thwart a simulating abort decider?53olcott
23 Mar 24 i   i `* Re: Can any pathological input thwart a simulating abort decider?52Fred. Zwarts
23 Mar 24 i   i  +* Re: Can any pathological input thwart a simulating abort decider?50olcott
23 Mar 24 i   i  i+* Re: Can any pathological input thwart a simulating abort decider?10Fred. Zwarts
23 Mar 24 i   i  ii`* Re: Can any pathological input thwart a simulating abort decider?9olcott
23 Mar 24 i   i  ii +* Re: Can any pathological input thwart a simulating abort decider?7Richard Damon
23 Mar 24 i   i  ii i`* Re: Can any pathological input thwart a simulating abort decider?6olcott
23 Mar 24 i   i  ii i `* Re: Can any pathological input thwart a simulating abort decider?5Richard Damon
24 Mar 24 i   i  ii i  `* Re: Can any pathological input thwart a simulating abort decider?4olcott
24 Mar 24 i   i  ii i   `* Re: Can any pathological input thwart a simulating abort decider?3Richard Damon
24 Mar 24 i   i  ii i    `* Re: Can any pathological input thwart a simulating abort decider?2olcott
24 Mar 24 i   i  ii i     `- Re: Can any pathological input thwart a simulating abort decider?1Richard Damon
24 Mar 24 i   i  ii `- Re: Can any pathological input thwart a simulating abort decider?1immibis
24 Mar 24 i   i  i`* Re: Can any pathological input thwart a simulating abort decider?39immibis
25 Mar 24 i   i  i `* Re: Can any pathological input thwart a simulating abort decider?38olcott
26 Mar 24 i   i  i  `* Re: Can any pathological input thwart a simulating abort decider?37Richard Damon
26 Mar 24 i   i  i   `* Re: Can any pathological input thwart a simulating abort decider?36olcott
26 Mar 24 i   i  i    `* Re: Can any pathological input thwart a simulating abort decider?35Richard Damon
26 Mar 24 i   i  i     `* Re: Can any pathological input thwart a simulating abort decider?34olcott
26 Mar 24 i   i  i      +* Re: Can any pathological input thwart a simulating abort decider?29Richard Damon
26 Mar 24 i   i  i      i`* Re: Can any pathological input thwart a simulating abort decider?28olcott
26 Mar 24 i   i  i      i `* Re: Can any pathological input thwart a simulating abort decider?27Richard Damon
26 Mar 24 i   i  i      i  `* Re: Can any pathological input thwart a simulating abort decider?26olcott
26 Mar 24 i   i  i      i   `* Re: Can any pathological input thwart a simulating abort decider?25Richard Damon
26 Mar 24 i   i  i      i    `* Re: Can any pathological input thwart a simulating abort decider?24olcott
26 Mar 24 i   i  i      i     `* Re: Can any pathological input thwart a simulating abort decider?23Richard Damon
26 Mar 24 i   i  i      i      `* Re: Can any pathological input thwart a simulating abort decider?22olcott
26 Mar 24 i   i  i      i       `* Re: Can any pathological input thwart a simulating abort decider?21Richard Damon
26 Mar 24 i   i  i      i        `* Re: Can any pathological input thwart a simulating abort decider?20olcott
27 Mar 24 i   i  i      i         `* Re: Can any pathological input thwart a simulating abort decider?19Richard Damon
27 Mar 24 i   i  i      i          `* Re: Can any pathological input thwart a simulating abort decider?18olcott
28 Mar 24 i   i  i      i           `* Re: Can any pathological input thwart a simulating abort decider?17Richard Damon
28 Mar 24 i   i  i      i            `* Re: Can any pathological input thwart a simulating abort decider?16olcott
28 Mar 24 i   i  i      i             `* Re: Can any pathological input thwart a simulating abort decider?15Richard Damon
28 Mar 24 i   i  i      i              `* Re: Can any pathological input thwart a simulating abort decider?14olcott
28 Mar 24 i   i  i      i               `* Re: Can any pathological input thwart a simulating abort decider?13Richard Damon
28 Mar 24 i   i  i      i                `* Re: Can any pathological input thwart a simulating abort decider?12olcott
28 Mar 24 i   i  i      i                 `* Re: Can any pathological input thwart a simulating abort decider?11Richard Damon
28 Mar 24 i   i  i      i                  `* Re: Can any pathological input thwart a simulating abort decider?10olcott
28 Mar 24 i   i  i      i                   `* Re: Can any pathological input thwart a simulating abort decider?9Richard Damon
28 Mar 24 i   i  i      i                    `* Re: Can any pathological input thwart a simulating abort decider?8olcott
29 Mar 24 i   i  i      i                     `* Re: Can any pathological input thwart a simulating abort decider?7Richard Damon
29 Mar 24 i   i  i      i                      `* Re: Can any pathological input thwart a simulating abort decider?6olcott
29 Mar 24 i   i  i      i                       `* Re: Can any pathological input thwart a simulating abort decider?5Richard Damon
29 Mar 24 i   i  i      i                        `* Re: Can any pathological input thwart a simulating abort decider?4olcott
29 Mar 24 i   i  i      i                         `* Re: Can any pathological input thwart a simulating abort decider?3Richard Damon
29 Mar 24 i   i  i      i                          `* Re: Can any pathological input thwart a simulating abort decider?2olcott
29 Mar 24 i   i  i      i                           `- Re: Can any pathological input thwart a simulating abort decider?1Richard Damon
26 Mar 24 i   i  i      +* Re: Can any pathological input thwart a simulating abort decider?2Fred. Zwarts
26 Mar 24 i   i  i      i`- Re: Can any pathological input thwart a simulating abort decider?1olcott
26 Mar 24 i   i  i      `* Re: Can any pathological input thwart a simulating abort decider?2Fred. Zwarts
26 Mar 24 i   i  i       `- Re: Can any pathological input thwart a simulating abort decider?1olcott
24 Mar 24 i   i  `- Re: Can any pathological input thwart a simulating abort decider?1immibis
23 Mar 24 i   `- Re: Can any pathological input thwart a simulating abort decider?1Richard Damon
26 Mar 24 `* Re: Can any pathological input thwart a simulating abort decider?4Mikko
26 Mar 24  `* Re: Can any pathological input thwart a simulating abort decider?3olcott
27 Mar 24   `* Re: Can any pathological input thwart a simulating abort decider?2Mikko
27 Mar 24    `- Re: Can any pathological input thwart a simulating abort decider?1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal