Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_Analysis_of_Flibble=E2=80=99s_Latest=3A_Detecting_v?=
 =?UTF-8?Q?s=2E_Simulating_Infinite_Recursion_ZFC?=
Date: Thu, 22 May 2025 03:47:22 +0100
Organization: Fix this later
Lines: 24
Message-ID: <100m37r$38k55$3@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <95db078e80b2868ed15a9a9a2af0280d96234a3a@i2pn2.org>
 <100jo18$2mhfd$1@dont-email.me> <100jpv9$2m0ln$4@dont-email.me>
 <100kt0c$2tae8$3@dont-email.me>
 <f41e250ecff900bada614da8f822cfec523110d3@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 22 May 2025 04:47:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a4c25fe67a6e1f50e61bb80ea4001874";
	logging-data="3428517"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19kl4LOsi0/MTCI1Ew6d58z+Oku9Svfi2wfi1ux3fbwdw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:p2lxcnwGwcmHf0AdRM51bbYMoQs=
Content-Language: en-GB
In-Reply-To: <f41e250ecff900bada614da8f822cfec523110d3@i2pn2.org>

On 22/05/2025 02:30, Richard Damon wrote:
> On 5/21/25 11:54 AM, olcott wrote:

<snip>

>> A self-contradictory input and a proof by contradiction
>> are not the same thing. A proof by contradiction would
>> conclude that "this sentence is not true" is true because
>> it cannot be proved false.
> 
> The input is NOT "self-contradictory".
> 
> The proof by contradiction is based on, If an H existed that got 
> the right answer, the answer it gives would be wrong.

I think that's what he means by 'self-contradictory'. He just 
doesn't grasp proof by contradiction.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within