Re: Is Richard a Liar? No!

Liste des GroupesRevenir à s logic 
Sujet : Re: Is Richard a Liar? No!
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory sci.logic
Suivi-à : comp.theory
Date : 15. May 2024, 16:54:27
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <v22ib3$2f2m$1@news.muc.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
[ 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, 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.

*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.

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

--
Alan Mackenzie (Nuremberg, Germany).


Date Sujet#  Auteur
5 May 24 * Every D(D) simulated by H presents non-halting behavior to H409olcott
5 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H60Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
5 May 24 ii`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H39olcott
5 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H38Richard Damon
5 May 24 ii +* Re: Every D(D) simulated by H presents non-halting behavior to H14olcott
5 May 24 ii i`* Re: Every D(D) simulated by H presents non-halting behavior to H13Richard Damon
6 May 24 ii i `* Re: Every D(D) simulated by H presents non-halting behavior to H12olcott
6 May 24 ii i  `* Re: Every D(D) simulated by H presents non-halting behavior to H11Richard Damon
6 May 24 ii i   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii i   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii i    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii i     `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i      `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i       `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii i        `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H23olcott
6 May 24 ii  +- Re: Every D(D) simulated by H presents non-halting behavior to H --- typo1olcott
6 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H21Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H10olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H9Richard Damon
6 May 24 ii   i +* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i i`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii   i  `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii   i   `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i    `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i     `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii   i      `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H ---4olcott
6 May 24 ii      `* Re: Every D(D) simulated by H presents non-halting behavior to H ---3Richard Damon
6 May 24 ii       `* Re: Every D(D) simulated by H presents non-halting behavior to H ---2olcott
7 May 24 ii        `- Re: Every D(D) simulated by H presents non-halting behavior to H ---1Richard Damon
5 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
5 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 i i `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H14immibis
7 May 24 i  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++13olcott
7 May 24 i   +* Re: Every D(D) simulated by H presents non-halting behavior to H +++10Richard Damon
7 May 24 i   i+* Re: Every D(D) simulated by H presents non-halting behavior to H +++8olcott
7 May 24 i   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H +++7Richard Damon
7 May 24 i   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H +++6olcott
7 May 24 i   ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++5Richard Damon
7 May 24 i   ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++4olcott
7 May 24 i   ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H +++3Richard Damon
7 May 24 i   ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2olcott
8 May 24 i   ii      `- Re: Every D(D) simulated by H presents non-halting behavior to H +++1Richard Damon
9 May 24 i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H +++1immibis
9 May 24 i   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2immibis
9 May 24 i    `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1olcott
6 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H347olcott
7 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H47Richard Damon
7 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H ===46olcott
7 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H ===45Richard Damon
7 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===44olcott
7 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===43Richard Damon
7 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===42olcott
7 May 24 ii     +* Re: Every D(D) simulated by H presents non-halting behavior to H ===40Richard Damon
7 May 24 ii     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===39olcott
7 May 24 ii     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===38Richard Damon
7 May 24 ii     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ===6olcott
8 May 24 ii     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===5Richard Damon
8 May 24 ii     i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===4olcott
8 May 24 ii     i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===3Richard Damon
8 May 24 ii     i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 ii     i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1Richard Damon
7 May 24 ii     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===31olcott
8 May 24 ii     i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===30Richard Damon
8 May 24 ii     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===25olcott
8 May 24 ii     i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===24Richard Damon
8 May 24 ii     i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===23olcott
8 May 24 ii     i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===22Richard Damon
8 May 24 ii     i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@21olcott
8 May 24 ii     i    i    +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@11olcott
8 May 24 ii     i    i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H @@@10Richard Damon
8 May 24 ii     i    i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9olcott
9 May 24 ii     i    i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8Richard Damon
9 May 24 ii     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 ii     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 ii     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@3olcott
9 May 24 ii     i    i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2Richard Damon
9 May 24 ii     i    i    i     `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1joes
8 May 24 ii     i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9Richard Damon
8 May 24 ii     i    i     `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8olcott
8 May 24 ii     i    i      +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2wij
9 May 24 ii     i    i      i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i      `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@5Richard Damon
9 May 24 ii     i    i       `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@4olcott
8 May 24 ii     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 ii     i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
9 May 24 ii     `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1immibis
7 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H298olcott
7 May 24 i`- Re: Every D(D) simulated by H presents non-halting behavior to H1olcott
7 May 24 `- Re: Every D(D) simulated by H presents non-halting behavior to H1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal