Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Sat, 5 Apr 2025 07:26:38 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 6
Message-ID: <vsqlve$1ktm5$4@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 05 Apr 2025 09:26:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9f11b097b26f2656761f9579e269a581";
	logging-data="1734341"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19keXMb9n2GUwmBfkFeFRMb"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:w4XHabHxcgf6gJuaBJOHY1mkOmg=
Bytes: 1238

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.