Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Fri, 11 Apr 2025 05:27:33 +0100
Organization: Fix this later
Lines: 13
Message-ID: <vta5nl$ld9n$2@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>
 <vstl33$p9c2$1@dont-email.me> <vstme2$n9gi$2@dont-email.me>
 <HMScneI80ehcN2_6nZ2dnZfqn_SdnZ2d@brightview.co.uk>
 <vsuc78$1f8in$1@dont-email.me>
 <356fe829b105738f556ce1f89999ae620dcd2071@i2pn2.org>
 <vsvv9d$36pju$4@dont-email.me>
 <6ec3f1fc01602ad5305acdddfb0234d561ed9ffd@i2pn2.org>
 <vt432h$32bmm$2@dont-email.me>
 <9c010b974bc63471bf86d7c0631f2ea0af450007@i2pn2.org>
 <vt9o0k$5t7s$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 11 Apr 2025 06:27:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6b00b5cbd09486fb855caeea624ce8c7";
	logging-data="701751"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/npShXl99PxHV4Vn1VuoTik3Ao9FQNk7rSWyVW4uwLFA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+3i4OR2G4iCpMEX/vpWPMnPzJV4=
In-Reply-To: <vt9o0k$5t7s$6@dont-email.me>
Content-Language: en-GB
Bytes: 2385

On 11/04/2025 01:33, Lawrence D'Oliveiro wrote:
> Remember, if you’re saying that the list cannot be constructed in the
> first place, then you’re destroying the Cantor proof as well.

On the contrary, the Cantor proof proves that a complete list 
/cannot/ be constructed. That's the whole point.

-- 
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