Deutsch English Français Italiano |
<v22o5u$ven4$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: Is Richard a Liar? No! Date: Wed, 15 May 2024 11:34:06 -0500 Organization: A noiseless patient Spider Lines: 129 Message-ID: <v22o5u$ven4$2@dont-email.me> References: <v18e32$1vbql$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> <v22e19$2u32$1@news.muc.de> <v22g3h$tjgs$3@dont-email.me> <v22ib3$2f2m$1@news.muc.de> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 15 May 2024 18:34:06 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0b1a5f306bf9a6832a28841b3fc547c1"; logging-data="1030884"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18u+MiCPHK8o2S+3CGXD28B" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:sKPNcTSS7MrCik3mqKWEgOp39no= Content-Language: en-US In-Reply-To: <v22ib3$2f2m$1@news.muc.de> Bytes: 5833 On 5/15/2024 9:54 AM, Alan Mackenzie wrote: > [ Followup-To: set ] > > In comp.theory olcott <polcott333@gmail.com> wrote: >> On 5/15/2024 8:40 AM, Alan Mackenzie wrote: > >>> 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) // ptr is pointer to int function >>>>>>>>>>>>>> 01 int D(ptr x) >>>>>>>>>>>>>> 02 { >>>>>>>>>>>>>> 03 int Halt_Status = H(x, x); >>>>>>>>>>>>>> 04 if (Halt_Status) >>>>>>>>>>>>>> 05 HERE: goto HERE; >>>>>>>>>>>>>> 06 return Halt_Status; >>>>>>>>>>>>>> 07 } >>>>>>>>>>>>>> 08 >>>>>>>>>>>>>> 09 int main() >>>>>>>>>>>>>> 10 { >>>>>>>>>>>>>> 11 H(D,D); >>>>>>>>>>>>>> 12 } > >>> [ .... ] > >>>>>>> But nobody here knows the proof for your assertion above, that it >>>>>>> is a verified fact that it cannot reach past line 03. So, we would >>>>>>> like to see that proof. Just the claim that it has been proven is >>>>>>> not enough. > >>>>>> 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 it. > >>>> 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. > >> *I have told you that this is a template previously* > > Whatever that might mean, you have asserted (or at least implied) that > that code was written in C, whether you call it a template or not. > > You are not an expert in C, see above. Given your known penchant for > telling untruths, That by itself is defamation. No one has even proven that my statements are false. The usual "proof" that my statements are false is empty rhetoric entirely bereft of any supporting reasoning or ad hominem attacks. Relying in such "evidence" is the reckless disregard for the truth of defamation. https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html > there is nothing posted in this newsgroup suggesting > you have expertise in C coding, and much suggesting the contrary. > >> *Ignoring this are repeating the above claims are the* >> *reckless disregard for the truth of defamation cases* > > Then sue me for defamation. You might have to learn a bit of German, > first. > When I prove that IT IS defamation (as I have) that destroys your credibility. >> *Failing to provide the single counter-example required to show* >> *that I am incorrect because you know such a counter-example* >> *does not exist IS DEFAMATION* > > A counter example to an assertion about some code that doesn't even > compile? Quite honestly, I can't be bothered. Richard has already given > one. Besides, the burden of proof for your assertion lies on you. You > have given no proof, so far, and as already stated, you likely don't even > understand what the word proof means. > >> https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html > >> 00 int H(ptr x, ptr x) // ptr is pointer to int function >> 01 int D(ptr x) >> 02 { >> 03 int Halt_Status = H(x, x); >> 04 if (Halt_Status) >> 05 HERE: goto HERE; >> 06 return Halt_Status; >> 07 } >> 08 >> 09 int main() >> 10 { >> 11 H(D,D); >> 12 } > >> 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. > > And that last sentence is (yet another) lie. > That you call it a lie without any evidence that it is false IS DEFAMATION. >> -- >> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius >> hits a target no one else can see." Arthur Schopenhauer > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer