Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Is Richard a Liar?
Date: Fri, 17 May 2024 12:42:21 +0300
Organization: -
Lines: 47
Message-ID: <v278pt$24k9i$1@dont-email.me>
References: <v18e32$1vbql$1@dont-email.me> <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> <v1na6f$1ugl0$1@dont-email.me> <v1o67n$24f4c$1@dont-email.me> <v1q1ie$2l40t$1@dont-email.me> <v1q9fp$qb0p$1@i2pn2.org> <v1qmq8$2prs6$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> <v20cf4$11h4n$3@i2pn2.org> <v20ect$bki0$1@dont-email.me> <v21r2l$otc2$1@dont-email.me> <v22j90$u8vi$4@dont-email.me> <v2592p$1kspo$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 17 May 2024 11:42:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dbf1b225f2871bff3da7815f4eb7b472";
	logging-data="2249010"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX199x5avu+LEyJ1jgW2GCB/v"
User-Agent: Unison/2.2
Cancel-Lock: sha1:u0GE5cE8BI0hw/mk3OtzVrZdv8w=
Bytes: 3651

On 2024-05-16 15:34:48 +0000, olcott said:

> On 5/16/2024 4:14 AM, Mikko wrote:
>> 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.
> 
> None-the-less a single-valid-counter-example would prove that
> I am wrong thus any claim that I am wrong lacking this required
> valid counter-example is empty rhetoric entirely bereft of any
> supporting reasoning: (EREBOASR).

That would be one way to prove that you are wrong but any other
proof is equally sufficient. Often a proof without a counter
example is shorter or clearer and therefore preferred. Of course
the way to prove depends on the nature of the particular one
of your errors one wants to point out.

No proof is needed if the error is sufficiently obvious (or thought
to be), for in those cases the error alone is a sufficient proof.

In any case, if there is no proof or the proof is not clear enough
you can always ask for a clarification.

> Repeatedly claiming that I am wrong without providing the required
> counter-example when this counter-example is repeatedly requested
> (and categorically impossible) does meet the standard of a reckless
> disregard for the truth.

No, it does not. A different kind of proof is sufficient to meet
the standard, and even a good justification of another kind.

-- 
Mikko