Path: ...!npeer.as286.net!npeer-ng0.as286.net!weretis.net!feeder8.news.weretis.net!news.szaf.org!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory,sci.logic
Subject: Re: Is Richard a Liar?  No!
Followup-To: comp.theory
Date: Wed, 15 May 2024 13:40:57 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v22e19$2u32$1@news.muc.de>
References: <v18e32$1vbql$1@dont-email.me>   <v1q9fp$qb0p$1@i2pn2.org> <v1qmq8$2prs6$1@dont-email.me> <v1qouc$2qb2s$1@dont-email.me> <v1vbpd$3gbc$1@dont-email.me> <v1vslr$7enr$1@dont-email.me> <v1vuor$24b2$1@news.muc.de> <v20027$865j$1@dont-email.me> <v200oo$843p$1@dont-email.me> <v200u2$8dd9$1@dont-email.me> <v202k0$8q16$1@dont-email.me> <v20654$9o07$1@dont-email.me> <v2086v$a4tr$1@dont-email.me> <v208db$a6jn$1@dont-email.me> <v20ak6$an12$1@dont-email.me> <v20b6v$akk9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Wed, 15 May 2024 13:40:57 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="96354"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
Bytes: 4338
Lines: 85

[ Followup-To: set ]

In comp.theory olcott <polcott333@gmail.com> wrote:
> On 5/14/2024 1:30 PM, Fred. Zwarts wrote:
>> Op 14.mei.2024 om 19:52 schreef olcott:
>>> On 5/14/2024 12:49 PM, Fred. Zwarts wrote:

[ .... ]

>>>>>>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

>>>>>>>>>>> 00 int H(ptr x, ptr x)=C2=A0 // ptr is pointer to int functio=
n
>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>> 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 int main()
>>>>>>>>>>> 10 {
>>>>>>>>>>> 11=C2=A0=C2=A0 H(D,D);
>>>>>>>>>>> 12 }

[ .... ]

>>>> But nobody here knows the proof for your assertion above, that it is=
=20
>>>> a verified fact that it cannot reach past line 03. So, we would like=
=20
>>>> to see that proof. Just the claim that it has been proven is not eno=
ugh.

>>> The "nobody here" you are referring to must be clueless
>>> about the semantics of the C programming language.

>> Are you honest? Please, give the proof, instead of keeping away from i=
t.=20

> I have been an expert C/C++ programmer for decades.

I see evidence to the contrary.  You may have dabbled in C twenty years
ago, or so, but if you were an expert C/C++ programmer, you would not
have written those twelve lines so carelessly that they don't even
compile.  Also, were you an expert, you could easily fix the mistakes and
turn those twelve lines into valid C.  I've challenged you to do this
at least once over the past few days, yet you haven't done so.  It would
appear your C skills are not up to the job.

> If you knew C will enough yourself you would comprehend
> that my claim about:

> Any H/D pair matching the above template where
> D(D) is simulated by the same H(D,D) that it calls
> cannot possibly reach past its own line 03.
> This is a simple software engineering verified fact.

I know C very well indeed, and I've an idea where you're coming from.
But to assert that about a corrected version of your code needs reasoning
from you; it needs a proof.  To assert it about the mess that the current
code is is just senseless, and needs no reply.

Like others here, I suspect you don't understand the concept of a proof,
much less do you have the ability to construct one.  You can refute such
ideas simply by supplying the said proof.  Then we can put your proof and
Richard's counter example head to head against eachother, and see which
is correct.

> My grandfather was a diagnostician and pathologist
> said: "You can't argue with ignorance".

Not a sensible thing for you to draw attention to.

[ .... ]

> --=20
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

--=20
Alan Mackenzie (Nuremberg, Germany).