Arcobaleno scrive :
START
Io sono partito dalla considerazione dell'infinito attuale, e mi sono
avvantaggiato delle stesse premesse filosofiche. Anche io ho
provveduto ad etichettare ogni stringa.
Quindi ho composto INFINITI elenchi e non solo UNO(come nel suo
caso).
Ecco il primo elenco
R_1,1.........
R_1,2.........
R:1,3.........
.................

Ogni R_m,n etichetta una stringa composta da infiniti decimali in
ATTO.
Proprio come li pensa Cantor in quella dimostrazione per assurdo.
Quindi si può passare a numerare un secondo elenco
R_2,1.....
R_2.2.....
R_2,3.....
..............
m= numero che individua l'elenco a cui la stringa appartiene.
n= la stringa nel rispettivo elenco.
Con questo modo si etichettano infinite stringhe DIVERSE tra loro.
Quindi possiamo avere l'ennesimo elenco
R_m,n.......
.................
Fino ad immaginare infiniti elenchi in ATTO. Cioè esistenti.
Come fare per numerare tutte queste stringhe appartenenti a
diversi elenchi?

Usiamo il procedimento diagonale che Cantor escogitò per numerare i
RAZIONALI.

R_1,1  R_1,2  R_1,3......
R_2,1  R_2,2  R_2,3......
.....................................

In questo modo, così come si individuano in modo univoco i razionali,
è possibile (se si accetta che ogni R_mn etichetti un reale) numerare
anche i reali.
END
Radicale risponde (sperando di non fare la solita figura
di merda ...)

Ma il punto e' :
Ma non hai nessuna garanzia, con il tuo metodo, di enumerare
TUTTI i reali.