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: Sun, 6 Apr 2025 13:42:44 +0300
Organization: -
Lines: 14
Message-ID: <vstlr4$q280$1@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vso3j4$2vbn4$1@dont-email.me> <vso3ov$2vems$1@dont-email.me> <vso4oc$30ine$1@dont-email.me> <vspb09$75m8$6@dont-email.me> <vsql1k$1lpck$1@dont-email.me> <vsqlve$1ktm5$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Apr 2025 12:42:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c289a35489489d88fb7cd6e10493bedd";
	logging-data="854272"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18jxP4FHBOvIfnmOsNGrz5G"
User-Agent: Unison/2.2
Cancel-Lock: sha1:T2q4ztBSZoZIiJsm0Fo98/71VHI=
Bytes: 1391

On 2025-04-05 07:26:38 +0000, Lawrence D'Oliveiro said:

> On Sat, 5 Apr 2025 10:10:44 +0300, Mikko wrote:
> 
>> The proof is finite and complete.
> 
> It requires showing that there is no complete match among an infinity of
> digits.

Cantor's proof and every proof with Cantor's diagonal method shows that.

-- 
Mikko