Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: sci.logic
Subject: Re: Can any pathological input thwart a simulating abort decider?
Date: Sat, 23 Mar 2024 03:16:28 +0800
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <b7d45961255b55abde15657a2dd7148a1e961a6d.camel@gmail.com>
References: <utkjd0$335kr$1@dont-email.me>
	 <acf2e41695158d4d253c9d1d486dd380d2113a9d.camel@gmail.com>
	 <utkl2g$335kr$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Info: dont-email.me; posting-host="1fccb0500a278f257dea4db3b0521c59";
	logging-data="3186794"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19afqlbSqHam1g3+V3Ln9kT"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:vunhV+LAYOVSVc4E9IOqh4p/Y+8=
In-Reply-To: <utkl2g$335kr$7@dont-email.me>
Bytes: 3014

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)=C2=A0 // ptr is pointer to int function
> > > 02 {
> > > 03=C2=A0=C2=A0 int Halt_Status =3D H(x, x);
> > > 04=C2=A0=C2=A0 if (Halt_Status)
> > > 05=C2=A0=C2=A0=C2=A0=C2=A0 HERE: goto HERE;
> > > 06=C2=A0=C2=A0 return Halt_Status;
> > > 07 }
> > > 08
> > > 09 void main()
> > > 10 {
> > > 11=C2=A0=C2=A0 H(D,D);
> > > 12 }
> > >=20
> > > 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.
> > >=20
> > > H must abort every simulated input that would not
> > > otherwise halt to prevent its own non-termination.
> > >=20
> > > 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.
> > >=20
> >=20
> > In you program listing above (1) H can only return 0, it does not deter=
mine anything.
>=20
> I never mentioned any return value and return values are out-of-scope
> for this post.
>=20
> In this post we are only looking for a counter-example that can thwart
> simulating abort decider H.
>=20
> 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.
>=20
> > (2) and, H is empty, there is no code to determine "pathological input"=
, and who
> > decide "pathological", you or program?
> >=20
>=20
> It is stipulated that every implementation of H(D,D) simulates
> its input D(D).
>=20

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