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: Mon, 14 Apr 2025 07:29:47 +0100
Organization: Fix this later
Lines: 20
Message-ID: <vtia0r$lmp4$1@dont-email.me>
References: <vsn1fu$1p67k$1@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>
 <74db303c1d07ba0fdf70f1b20f5f7d6e04667665@i2pn2.org>
 <vt9nr3$5t7s$5@dont-email.me>
 <4f2f706fdbd8bb237b4bfbc750f65482db6e96c7@i2pn2.org>
 <vtag8u$vqm0$3@dont-email.me>
 <c7320364d5ad63cd30018fa0082e8dcc60ad2534@i2pn2.org>
 <vtc4ao$2mlfb$4@dont-email.me>
 <84c84545ad9509384f5378553217346b12512a97@i2pn2.org>
 <vtha1c$3oh15$2@dont-email.me> <87h62rg1rx.fsf@nosuchdomain.example.com>
 <vthjd4$4lt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 14 Apr 2025 08:29:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="866aefd1a672e7654092829d6a7a9889";
	logging-data="711460"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18TFAFErgF0nkfVYk/XHKD2qb0L3TUVSy0M7JCXptvUWA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Ka1OnyuZZSWPvtXwWjm/6SkvHco=
Content-Language: en-GB
In-Reply-To: <vthjd4$4lt$1@dont-email.me>
Bytes: 2620

On 14/04/2025 01:03, Lawrence D'Oliveiro wrote:
> On Sun, 13 Apr 2025 15:00:34 -0700, Keith Thompson wrote:
> 
>> The Cantor construction *assumes* the existence of such a list ...
> 
> Clearly, then, there must not be any objections to the creation of such a
> list, other than the Cantor construction itself.

There is no objection to imagining that such a list exists, just 
as there is no objection to imagining that p and q are integers 
with no common factors, whose ratio is sqrt(2). Just as we can 
use p and q to prove that they can't exist, so we can use your 
'complete' list to prove that it can't exist.

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