Re: Is Richard a Liar?

On 2024-05-15 15:10:24 +0000, olcott said:

On 5/15/2024 3:17 AM, Mikko wrote:

On 2024-05-14 19:34:52 +0000, olcott said:
 

*Anyone that says that I am wrong without knowing C is dishonest*

 First you should prove that you know C.

 Not at all. Not in the least. Deductive proofs cannot rely
on an argument from authority.

True but irrelevant. When someone sayes you are wrong, that does not
refer to any deductive proofs as you haven't presented deductive
proofs. In particular, what you said above isn't a deductive proof
but an attempt to refute deductive proofs and other counter arguments
with an ad hominem fallacy.

Anyone that knows C and claims that I am wrong either provides
the required single valid counter-example proving that I am
wrong or meets the
 https://dictionary.findlaw.com/definition/reckless-disregard-of-the-truth.html
 of defamation cases.

Saying that you are wrong hardly couts as defamation. Perhaps saying
that someone is dishonest without being able to prove it is not a crime
where you live but it certainly is a sin.

For example, you should show
that you can identify an error in the following code fragemnt:
 int H(ptr x, ptr x)  // ptr is pointer to int function
int D(ptr x)
{
  int Halt_Status = H(x, x);
  if (Halt_Status)
    HERE: goto HERE;
  return Halt_Status;
}
 int main()
{
  H(D,D);
}
 If you don't, nobody is going to believe that you know C.

You didn't, so nobody believes that you know C.
--
Mikko