Path: ...!news.nobody.at!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: Two dozen people were simply wrong --- Try to prove otherwise
 --- pinned down
Date: Sun, 02 Jun 2024 07:25:25 +0800
Organization: A noiseless patient Spider
Lines: 63
Message-ID: <9c58496135506dadc17bae1b278cc0808a5a039d.camel@gmail.com>
References: <v3501h$lpnh$1@dont-email.me> <v3dhob$2dio8$1@dont-email.me>
	 <v3dk0d$2lfup$2@i2pn2.org> <v3dkf2$2e2po$1@dont-email.me>
	 <v3dmnc$2lfup$3@i2pn2.org> <v3do66$2ejq2$1@dont-email.me>
	 <v3dqka$2lfup$4@i2pn2.org> <v3dsev$2f6ul$1@dont-email.me>
	 <v3dtt4$2lfup$5@i2pn2.org> <v3dvr3$2jgjd$1@dont-email.me>
	 <v3e0rj$2lfup$6@i2pn2.org> <v3e1m6$2jmc2$1@dont-email.me>
	 <v3f09p$2n53o$1@i2pn2.org> <v3feqn$2rdp3$1@dont-email.me>
	 <v3fgat$2n53n$5@i2pn2.org> <v3fhan$2rsbs$1@dont-email.me>
	 <v3fi55$2n53o$6@i2pn2.org> <v3fiq7$2rsbs$5@dont-email.me>
	 <v3flc5$2n53o$7@i2pn2.org> <v3flm8$2sm3s$1@dont-email.me>
	 <v3fm1e$2n53n$8@i2pn2.org> <v3fmlc$2sogn$1@dont-email.me>
	 <v3fncn$2n53n$9@i2pn2.org> <v3fo1p$2t1ac$2@dont-email.me>
	 <v3fqpt$2tjjm$1@dont-email.me> <v3fu48$2ulbk$1@dont-email.me>
	 <v3g0b9$2n53n$17@i2pn2.org> <v3g0q4$2v3lp$3@dont-email.me>
	 <v3g2t2$2n53n$20@i2pn2.org> <v3g3ja$2vho5$1@dont-email.me>
	 <v3g7eb$2n53n$23@i2pn2.org> <v3g80k$30c96$2@dont-email.me>
	 <v3g99u$2n53n$24@i2pn2.org> <v3g9tc$30pbl$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Sun, 02 Jun 2024 01:25:27 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0fe18306cba5cf8887c5ee2c3faa8725";
	logging-data="3173441"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX181ZA5danj1yVozhGjbABBa"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:lPF4izljZ0fTNSIOYJ7NA6XXeFk=
In-Reply-To: <v3g9tc$30pbl$1@dont-email.me>
Bytes: 4627

On Sat, 2024-06-01 at 18:12 -0500, olcott wrote:
> On 6/1/2024 6:02 PM, Richard Damon wrote:
> > On 6/1/24 6:40 PM, olcott wrote:
> > >=20
> > > Show me where I said anything in the above spec about an aborted=20
> > > simulation.
> >=20
> > So, why did HH stop simulating after some n steps?
> >=20
> > Did it reach a final state in the simulation? if not, it ABORTED its=
=20
> > simulation.
> >=20
> > >=20
> > > When every possible which way DD correctly simulated by HH never reac=
hes
> > > past its own simulated line 03 then
> >=20
> > And a simulation either goes until it reaches a final state of the=20
> > machine it is simulating, or it aborted its simulation.
> >=20
>=20
> typedef int (*ptr)();=C2=A0 // ptr is pointer to int function in C
> 00=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 int HH(ptr p, ptr i);
> 01=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 int DD(ptr p)
> 02=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 {
> 03=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 int Halt_Status =3D HH=
(p, p);
> 04=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 if (Halt_Status)
> 05=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 HERE: goto=
 HERE;
> 06=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 return Halt_Status;
> 07=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 }
> 08
> 09=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 int main()
> 10=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 {
> 11=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 HH(DD,DD);
> 12=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 return 0;
> 13=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 }
>=20
> When every DD correctly simulated by any HH cannot possibly reach
> past its own simulated line 03 in 1 to =E2=88=9E steps of correct simulat=
ion
> of DD by HH then we have exhaustively examined every possible HH/DD
> pair and each element has of this infinite set has the same property.
>=20
> *THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
> *THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
> *THIS PROVES THAT THE INPUT TO H(DD,DD) DOES NOT HALT*
>=20
> > Nope, prove you don't know what you are talking about,=20
> > or are just a liar destined for Gehenna,
> >=20
>=20
> Are you willing to bet your soul on the claim that you believe
> that you are telling the truth? I do believe that I am telling
> the truth and I also believe that you already know that I am
> correct about the above statements that I made.
>=20

You are just a talking machine, better than GPT. You have no soul.
It seems you cannot say anything other than "I am right".