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 : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 22. Mar 2024, 21:10:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <utkl2g$335kr$7@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
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).
--
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
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