Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Is Richard a Liar?
Date: Thu, 16 May 2024 12:14:06 +0300
Organization: -
Lines: 54
Message-ID: <v24iou$1fskq$1@dont-email.me>
References: <v18e32$1vbql$1@dont-email.me> <v1iqli$nsva$1@dont-email.me> <v1k0ts$iuna$1@i2pn2.org> <v1k381$14mbi$2@dont-email.me> <v1labh$kf53$1@i2pn2.org> <v1lfnq$1e7af$1@dont-email.me> <v1lh1g$kf52$4@i2pn2.org> <v1lmo1$1g1mj$1@dont-email.me> <v1luu1$lbo5$3@i2pn2.org> <v1lvuo$1i47i$1@dont-email.me> <v1m1bf$lbo5$4@i2pn2.org> <v1m2hc$1ijhr$1@dont-email.me> <v1m31m$lbo4$1@i2pn2.org> <v1m4et$1iv85$1@dont-email.me> <v1m5co$lbo4$2@i2pn2.org> <v1m71h$1jnpi$1@dont-email.me> <v1m7mh$lbo5$5@i2pn2.org> <v1mb8f$1kgpl$1@dont-email.me> <v1mkf8$lbo5$7@i2pn2.org> <v1mkmm$1q5ee$1@dont-email.me> <v1o67n$24f4c$1@dont-email.me> <v1vslr$7enr$1@dont-email.me> <v1vuor$24b2$1@news.muc.de> <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> <v20cf4$11h4n$3@i2pn2.org> <v20ect$bki0$1@dont-email.me> <v22j90$u8vi$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 16 May 2024 11:14:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1042f681036333a040f7e702dbbd055b";
	logging-data="1569434"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18sf+vd9axJ410pJo1x/yVq"
User-Agent: Unison/2.2
Cancel-Lock: sha1:aGQqbJ0jb+GjQZUqcrYWh8yzZGU=
Bytes: 3383

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