Path: 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: Sun, 6 Apr 2025 23:04:51 +0100
Organization: Fix this later
Lines: 14
Message-ID: <vsutq4$227l6$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 07 Apr 2025 00:04:52 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="bc132e5dc8a5be3779f1433728e3cf54";
	logging-data="2170534"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/PQxwpskBJRk5+6Qr7dqoRCOxrCj+8vO1nqwjNMMMctA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Jggznpb49g+mT4b6WYArYUkyyCM=
In-Reply-To: <356fe829b105738f556ce1f89999ae620dcd2071@i2pn2.org>
Content-Language: en-GB

On 06/04/2025 22:39, Richard Damon wrote:
> First, Cantor's Diagonal Argument wasn't about construable 
> numbers, but about numbers being countable.

It's not me you have to persuade. I was just summarising what I 
believe to be Mr D'Oliveiro's argument. That doesn't mean I agree 
with him.

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