Path: 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: Fri, 4 Apr 2025 11:00:36 +0300
Organization: -
Lines: 10
Message-ID: <vso3j4$2vbn4$1@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 04 Apr 2025 10:00:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="92281398402b6c1bb2a3f61b0db94096";
	logging-data="3124964"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/a4nf4XQSDXW+mpAk9Bu4z"
User-Agent: Unison/2.2
Cancel-Lock: sha1:Xbe6NWXPPi8sbqYsGTNJz3JYm8E=

On 2025-04-03 22:18:38 +0000, Lawrence D'Oliveiro said:

> The Cantor diagonal construction is an algorithm for computing an
> incomputable number.

Can you prove that it computes an incomputable number?

-- 
Mikko