Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Tue, 15 Apr 2025 11:34:45 +0300
Organization: -
Lines: 27
Message-ID: <vtl5n5$3ao14$1@dont-email.me>
References: <vsn1fu$1p67k$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> <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> <87cydffviw.fsf@nosuchdomain.example.com> <vtk2vs$295ku$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 15 Apr 2025 10:34:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="900387675a10c5662cfaa57cdda650f0";
	logging-data="3498020"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+/f6fWxRHXQurtqZ62MiY6"
User-Agent: Unison/2.2
Cancel-Lock: sha1:Z2QgUwhWl4fgS1itYalHqpIxGq4=
Bytes: 2691

On 2025-04-14 22:42:05 +0000, Lawrence D'Oliveiro said:

> On Sun, 13 Apr 2025 17:15:35 -0700, Keith Thompson wrote:
> 
>> Lawrence D'Oliveiro <ldo@nz.invalid> writes:
>>> 
>>> 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.
>> 
>> Why would you assume that?
> 
> Because I don’t see any objections to Cantor making that assumption.

You don't see because you don't look.
What Cantor assumed is clearly stated in Cantor's book. If you want to
claim that he assumed someting else you must prove that his assumpitons
are insufficient for his conclusion.

Remember that it is a sin to claim about another person what you don't know.

-- 
Mikko