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 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: References: 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 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 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).