Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Mon, 7 Apr 2025 21:42:32 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <vt1gs7$nigc$3@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me>
	<7EKdnTIUz9UkpXL6nZ2dnZfqn_ednZ2d@brightview.co.uk>
	<vsng73$27sdj$1@dont-email.me>
	<gGKdnZiYPJVC03L6nZ2dnZfqn_udnZ2d@brightview.co.uk>
	<vsnk2v$2fc5a$1@dont-email.me> <vsnmtg$2i4qp$3@dont-email.me>
	<vsno7m$2g4cd$3@dont-email.me> <vsnp0o$2ka6o$2@dont-email.me>
	<vsnpv4$2g4cd$6@dont-email.me> <vsntes$2osdn$1@dont-email.me>
	<vsntv3$2paf9$1@dont-email.me> <vso1a0$2sf7o$1@dont-email.me>
	<vso2ff$2tj1d$2@dont-email.me> <vso3rj$2vems$2@dont-email.me>
	<vso4gh$2vg3b$1@dont-email.me> <vsqmlb$1ktm5$6@dont-email.me>
	<vsr1ae$1pr17$2@dont-email.me> <vst4nm$8daf$2@dont-email.me>
	<vsu9o4$lqc0$2@dont-email.me> <vsunj7$1redp$3@dont-email.me>
	<vsusb8$1v5ml$1@dont-email.me> <vsvuta$36pju$1@dont-email.me>
	<vt019f$37knt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 07 Apr 2025 23:42:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f78cf1e5c1ddc713eed346e8c1706a10";
	logging-data="772620"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19vWvPPQwkb0SUqVF8HrsDG"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:o8zNbXI8IjWPA8jzy6LzIFmqT1s=

On Mon, 7 Apr 2025 02:10:23 -0600, Jeff Barnett wrote:

> You are quite wrong about an elementary proof and various of your
> misunderstandings have been pointed out to you ...

I gave a proof by induction why the Cantor construction fails on that 
flipped-integer list; no one has yet pointed out a flaw in that proof.

Somebody kept insisting that, even if my proposition is true for every 
element in the list, it somehow goes false at the end. The end of an 
infinite list! Yeah, right.