Sujet : Re: Cantor Diagonal Proof
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 06. Apr 2025, 11:29:55
Autres entêtes
Organisation : -
Message-ID : <vstl33$p9c2$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Unison/2.2
On 2025-04-05 07:38:19 +0000, Lawrence D'Oliveiro said:
On Fri, 4 Apr 2025 09:16:17 +0100, Richard Heathfield wrote:
Since all elements (except your two openers) begin with a 3, none of
them start 12, and so after just two iterations we have already
constructed a number that's not in the infinite list.
Remember that the hypothesis of the Cantor “proof” is that the list is
already supposed to contain every computable number. The fact that the
contruction succeeds for your list examples does not mean it will succeed
with mine.
How can Cantor's construction fail to succeed on a list?
-- Mikko
…