Re: Is Richard a Liar?

Liste des GroupesRevenir à theory 
Sujet : Re: Is Richard a Liar?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 15. May 2024, 20:33:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v22v5g$11dig$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
On 5/15/2024 1:04 PM, Alan Mackenzie wrote:
[ Followup-To: set ]
 In comp.theory olcott <polcott333@gmail.com> wrote:
On 5/15/2024 9:54 AM, Alan Mackenzie wrote:
 
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.
 
*When we stay on the actual topic of this post then*
*the following must be directly addressed and not ignored*
 You don't get to decide what the topic of a post is.
 
Message-ID: <v0ummt$2qov3$2@i2pn2.org>
On 5/1/2024 7:28 PM, Richard Damon wrote:
On 5/1/24 11:51 AM, olcott wrote:
 
*When Richard interprets*
 
*Every D simulated by H that cannot possibly*
*stop running unless aborted by H*
 
as *D NEVER simulated by H*
 
Richard is saying
for all "D simulated by H" there exists at least
one element of "D NEVER simulated by H"
 
Can this be an honest mistake?
 It's a mistake, honest or otherwise, on your part.
 
Message-ID: <v0ummt$2qov3$2@i2pn2.org>
http://al.howardknight.net/?STYPE=msgid&MSGI=%3Cv0ummt%242qov3%242%40i2pn2.org%3E On 5/1/2024 7:28 PM, Richard Damon wrote:
 > On 5/1/24 11:51 AM, olcott wrote:
 >>
 >> *I HAVE SAID THIS AT LEAST 10,000 TIMES NOW*
 >> Every D simulated by H that cannot possibly stop running
 >> unless aborted by H does specify non-terminating behavior
 >> to H. When H aborts this simulation that does not count as
 >> D halting.
 >
 > Which is just meaningless gobbledygook by your definitions.
 >
 > It means that
 >
 > int H(ptr m, ptr d) {
 >     return 0;
 > }
 >
 > is always correct, because THAT H can not possible simulate
 > the input to the end before it aborts it, and that H is all
 > that that H can be, or it isn't THAT H.
 >
 > Unless you clarify your altered definitions, H is what H is
 > and that just becomes the conclusion.
 >
 > On 5/1/24 11:51 AM, olcott wrote:
 >> Every D simulated by H ...
On 5/1/2024 7:28 PM, Richard Damon wrote:
 > int H(ptr m, ptr d) {
 >     return 0;
 > }
If you disagree with this translation you must point out the error:
*Translating the above using quantifiers: Richard is saying*
for all "D simulated by H" there exists at least one element
of "D NEVER simulated by H"
Can this be an honest mistake?
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
14 May 24 * Re: Is Richard a Liar?175Mikko
14 May 24 +* Re: Is Richard a Liar?18olcott
15 May 24 i+- Re: Olcott is a Liar!1Richard Damon
15 May 24 i`* Re: Is Richard a Liar?16Mikko
15 May 24 i `* Re: Is Richard a Liar?15olcott
16 May 24 i  +- Re: Olcott is a Liar!1Richard Damon
16 May 24 i  `* Re: Is Richard a Liar?13Mikko
16 May 24 i   `* Re: Is Richard a Liar?12olcott
17 May 24 i    +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24 i    `* Re: Is Richard a Liar?10Mikko
17 May 24 i     `* Re: Is Richard a Liar?9olcott
18 May 24 i      +* Re: Olcott is a Liar!5Richard Damon
18 May 24 i      i`* Re: Olcott is a Liar!4Mikko
18 May 24 i      i +- Re: Olcott is a Liar!1Richard Damon
18 May 24 i      i `* Richard is proven to be incorrect on a key point2olcott
18 May 24 i      i  `- Re: Richard is proven to be incorrect on a key point1Richard Damon
18 May 24 i      `* Re: Is Richard a Liar?3Mikko
18 May 24 i       `* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM2olcott
18 May 24 i        `- Re: embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ where embedded_H is based on a UTM1Richard Damon
14 May 24 `* Re: Is Richard a Liar?156olcott
14 May 24  +* Re: Is Richard a Liar?132Alan Mackenzie
14 May 24  i+* Re: Is Richard a Liar?130olcott
14 May 24  ii+* Re: Is Richard a Liar?128Fred. Zwarts
14 May 24  iii`* Re: Is Richard a Liar?127olcott
14 May 24  iii `* Re: Is Richard a Liar?126Fred. Zwarts
14 May 24  iii  `* Re: Is Richard a Liar?125olcott
14 May 24  iii   +* Re: Is Richard a Liar?123Fred. Zwarts
14 May 24  iii   i`* Re: Is Richard a Liar?122olcott
14 May 24  iii   i +* Re: Is Richard a Liar?120Fred. Zwarts
14 May 24  iii   i i`* Re: Is Richard a Liar?119olcott
14 May 24  iii   i i +* Re: Is Richard a Liar?17joes
14 May 24  iii   i i i`* Re: Is Richard a Liar?16olcott
15 May 24  iii   i i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i `* Re: Is Richard a Liar?14Mikko
15 May 24  iii   i i i  `* Re: Is Richard a Liar?13olcott
15 May 24  iii   i i i   +* Re: Is Richard a Liar?3joes
15 May 24  iii   i i i   i`* Re: Is Richard a Liar?2olcott
16 May 24  iii   i i i   i `- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i   +- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i   `* Re: Is Richard a Liar?8olcott
16 May 24  iii   i i i    +- Re: Is Richard a Liar?1Fred. Zwarts
17 May 24  iii   i i i    +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i    +* Re: Is Richard a Liar?3Mikko
17 May 24  iii   i i i    i`* Every D correctly simulated by H never reaches its final state and halts V22olcott
18 May 24  iii   i i i    i `- Re: Every D correctly simulated by H never reaches its final state and halts V21Richard Damon
17 May 24  iii   i i i    `* Re: Is Richard a Liar?2olcott
18 May 24  iii   i i i     `- Re: Olcott is a Liar!1Richard Damon
14 May 24  iii   i i +* Re: Is Richard a Liar?80Fred. Zwarts
14 May 24  iii   i i i`* Re: Is Richard a Liar?79olcott
14 May 24  iii   i i i +* Re: Is Richard a Liar?69Fred. Zwarts
14 May 24  iii   i i i i`* Re: Is Richard a Liar?68olcott
15 May 24  iii   i i i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i i +* Re: Is Richard a Liar?60Fred. Zwarts
15 May 24  iii   i i i i i`* Re: Is Richard a Liar?59olcott
15 May 24  iii   i i i i i +* Re: Is Richard a Liar?57Fred. Zwarts
15 May 24  iii   i i i i i i+* Re: Is Richard a Liar?53olcott
15 May 24  iii   i i i i i ii+* Re: Is Richard a Liar?51Fred. Zwarts
15 May 24  iii   i i i i i iii`* Re: Is Richard a Liar?50olcott
15 May 24  iii   i i i i i iii +* Re: Is Richard a Liar?48Fred. Zwarts
15 May 24  iii   i i i i i iii i`* Re: Is Richard a Liar?47olcott
16 May 24  iii   i i i i i iii i +- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i i i iii i +- Re: Is Richard a Liar?1Fred. Zwarts
16 May 24  iii   i i i i i iii i +* Re: Is Richard a Liar?36Fred. Zwarts
16 May 24  iii   i i i i i iii i i`* Re: Is Richard a Liar?35olcott
16 May 24  iii   i i i i i iii i i +* Re: Is Richard a Liar?33Fred. Zwarts
16 May 24  iii   i i i i i iii i i i`* Re: Is Richard a Liar?32olcott
16 May 24  iii   i i i i i iii i i i +* Re: Is Richard a Liar?28Fred. Zwarts
16 May 24  iii   i i i i i iii i i i i`* Re: Is Richard a Liar?27olcott
17 May 24  iii   i i i i i iii i i i i +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i i i iii i i i i +* Re: Is Richard a Liar?18Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i`* Re: Is Richard a Liar?17olcott
17 May 24  iii   i i i i i iii i i i i i +* Re: Is Richard a Liar?11Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i i`* Re: Is Richard a Liar?10olcott
17 May 24  iii   i i i i i iii i i i i i i +* Re: Is Richard a Liar?8Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i i i`* Re: Is Richard a Liar?7olcott
18 May 24  iii   i i i i i iii i i i i i i i +- Re: Olcott is a Liar!1Richard Damon
18 May 24  iii   i i i i i iii i i i i i i i +- Re: Is Richard a Liar?1Fred. Zwarts
18 May 24  iii   i i i i i iii i i i i i i i +* Re: Is Richard a Liar?3joes
18 May 24  iii   i i i i i iii i i i i i i i i`* Re: Is Richard a Liar?2olcott
18 May 24  iii   i i i i i iii i i i i i i i i `- Re: Is Richard a Liar?1Richard Damon
18 May 24  iii   i i i i i iii i i i i i i i `- Re: Is Richard a Liar?1Fred. Zwarts
18 May 24  iii   i i i i i iii i i i i i i `- Re: Olcott is a Liar!1Richard Damon
18 May 24  iii   i i i i i iii i i i i i `* Re: Olcott is a Liar?5Richard Damon
18 May 24  iii   i i i i i iii i i i i i  `* No Message-ID therefore construed as Liar4olcott
18 May 24  iii   i i i i i iii i i i i i   `* Re: No Message-ID therefore construed as Liar3Richard Damon
18 May 24  iii   i i i i i iii i i i i i    `* Re: No Message-ID therefore construed as Liar2olcott
18 May 24  iii   i i i i i iii i i i i i     `- Re: No Message-ID therefore construed as Liar. Message ID Provided, so OLCOTT is the LIAR.1Richard Damon
17 May 24  iii   i i i i i iii i i i i +* Re: Is Richard a Liar?3Fred. Zwarts
17 May 24  iii   i i i i i iii i i i i i`* Re: Is Richard a Liar?2olcott
18 May 24  iii   i i i i i iii i i i i i `- Re: Olcott is a Liar!1Richard Damon
17 May 24  iii   i i i i i iii i i i i `* Re: Is Richard a Liar?4Mikko
17 May 24  iii   i i i i i iii i i i i  `* Re: Is Richard a Liar?3olcott
18 May 24  iii   i i i i i iii i i i i   `* Re: Olcott is a Liar!2Richard Damon
18 May 24  iii   i i i i i iii i i i i    `- Re: Olcott is a Liar!1Mikko
17 May 24  iii   i i i i i iii i i i +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i i i iii i i i `* Re: Is Richard a Liar?2Mikko
17 May 24  iii   i i i i i iii i i i  `- Re: Is Richard a Liar?1olcott
17 May 24  iii   i i i i i iii i i `- Re: Olcott is a patholgociat liar!1Richard Damon
16 May 24  iii   i i i i i iii i `* Re: Is Richard a Liar?8olcott
17 May 24  iii   i i i i i iii i  +- Re: Olcott is a patholgociat liar!1Richard Damon
17 May 24  iii   i i i i i iii i  +* Re: Is Richard a Liar?3olcott
18 May 24  iii   i i i i i iii i  `* Re: Is Richard a Liar?3immibis
16 May 24  iii   i i i i i iii `- Re: Olcott is a Liar!1Richard Damon
16 May 24  iii   i i i i i ii`- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i i i i`* Re: Is Richard a Liar?3olcott
16 May 24  iii   i i i i i `- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i i +* Re: Is Richard a Liar?3joes
15 May 24  iii   i i i i `* Re: Is Richard a Liar?3Mikko
15 May 24  iii   i i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i i `* Re: Is Richard a Liar?8Mikko
15 May 24  iii   i i +- Re: Olcott is a Liar!1Richard Damon
15 May 24  iii   i i `* Re: Is Richard a Liar? No!20Alan Mackenzie
15 May 24  iii   i `- Re: Olcott is a Pathological Liar!1Richard Damon
15 May 24  iii   `- Re: Olcott is a Liar!1Richard Damon
15 May 24  ii`- Re: Olcott is a Liar!1Richard Damon
15 May 24  i`- Re: Is Richard a Liar?1immibis
15 May 24  +- Re: Olcott is a Liar!1Richard Damon
15 May 24  `* Re: Is Richard a Liar?22Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal