Discussione:Numero transfinito

computazionale

Sostituirei "di natura computazionale" con "aritmetiche". computazionale significa che sfrutta algoritmi implementati al computer, o comunque e' collegato a questioni di computabilita' attraverso una macchina (ad es. algebra computazionale = calcolo simbolico tipo Maple o Mathematica). I transfiniti possono invece essere combinati con operazioni aritmetiche del tipo:

aleph_0 + aleph_0 = aleph_0 (intendo l'unione di due insiemi numerabili e' numerabile)

aleph_0 * aleph_0 = aleph_0

aleph_0 + aleph_1 = aleph_1

aleph_1 + aleph_1 = aleph_1

eccetera, oltre che alle famose 2^aleph_0 = aleph_1

che dice che la cardinalita' dell'insieme delle parti di un insieme numerabile e' piu' che numerabile.

Mandatemi i vostri commenti. Albywind

c non equivale ad aleph_1 !!! Cantro non è mai riuscito a dimostrarlo, e Godel ha dimostrato che nessuno avrebbe mai potuto...