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: Fri, 11 Apr 2025 05:20:04 +0100
Organization: Fix this later
Lines: 13
Message-ID: <vta59k$ld9n$1@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <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>
 <vst8ci$aeqh$3@dont-email.me> <vsutjt$21mp2$2@dont-email.me>
 <vsuvp1$227l5$1@dont-email.me> <vsvv3h$36pju$2@dont-email.me>
 <vt01u5$38f07$1@dont-email.me> <875xjfd5rs.fsf@nosuchdomain.example.com>
 <vt1jpa$n43m$4@dont-email.me> <87tt6zblzl.fsf@nosuchdomain.example.com>
 <0920ac6e196c1cebeff36d8b9431ee12a7b3d527@i2pn2.org>
 <vt74k1$1pl6i$5@dont-email.me> <vt7sgd$2ht4t$1@dont-email.me>
 <vt9nq3$5t7s$4@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:20:08 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6b00b5cbd09486fb855caeea624ce8c7";
	logging-data="701751"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+5Yvp0qjjCiuL3sUTaL/yKNfzWyNmPbPT5E7m9JSWaNQ=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fH2jvUps35ggl70bbkcHmOe4UDA=
Content-Language: en-GB
In-Reply-To: <vt9nq3$5t7s$4@dont-email.me>

On 11/04/2025 01:29, Lawrence D'Oliveiro wrote:
> That’s a key point of my proof: if it converges, then the number is
> already in the list.

No, it isn't. It differs in the nth digit from the nth number in 
the list. If it doesn't, it isn't the Cantor diagonal.

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