Re: Cantor Diagonal Proof

Sujet : Re: Cantor Diagonal Proof
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 04. Apr 2025, 09:00:36

Autres entêtes

Organisation : -
Message-ID : <vso3j4$2vbn4$1@dont-email.me>
References : 1
User-Agent : Unison/2.2

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

Date	Sujet	#		Auteur
26 Nov 25	…

Les messages affichés proviennent d'usenet.