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: Mon, 7 Apr 2025 11:40:58 +0300
Organization: -
Lines: 24
Message-ID: <vt032q$3b5dv$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> <vstlr4$q280$1@dont-email.me> <vsvvak$36pju$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 07 Apr 2025 10:40:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="467902ab761a4361063a19a833c171c1";
	logging-data="3511743"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/LXmMr1vEnPN/8NSwrSD8f"
User-Agent: Unison/2.2
Cancel-Lock: sha1:UVXFoJ23Za8DPGKGnv6UjaCwSxA=
Bytes: 1773

On 2025-04-07 07:36:52 +0000, Lawrence D'Oliveiro said:

> On Sun, 6 Apr 2025 13:42:44 +0300, Mikko wrote:
> 
>> 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.
> 
> Except for that example list I gave where I proved by induction that it
> does not.

Even there, proving that a computable list of all computable numbers does
not exist.

-- 
Mikko