Beh, forse l'infinito si è preso la sua
rivincita su Cantor,
ossessionato dai tentativi infruttuosi di dimostrare che
=
Questa è l'ipotesi del continuo.
per Cantor è il
più piccolo cardinale transfinito maggiore di
.
Il lato oscuro della matematica...
Molti anni dopo il matematico Paul Cohen (usando una tecnica
chiamata forcing, ma guarda un po') dimostra che l'ipotesi
del continuo e' indimostrabile.
Finisce quindi nel mucchio delle proposizioni matematiche di cui
non è possibile affermarne la verità o la falsità
insieme all'assioma di scelta, il postulato delle parallele, ...
=
.