Hola
mmmm... por una parte te diría que no y por otra que si.
No sé como demostrarlo: no creo que haya un algoritmo que en un número finito de pasos nos permita determinar si un conjunto pertence al conjunto de Cantor.
Fíjate que este pude ponerse como intersección \( \bigcap C_n \) de uniones finitas de intervalos cerrados. Si podemos diseñar un programa que compruebe si un número está en en esos \( C_n \) con \( 1\leq n\leq N \); pero no hasta el infinito.
Ahora bien si tenemos en cuenta que, en principio, mathematica trabajará con una precisión determinada (es decir no almacenará un número infinito de decimales) de cada número, para los números almacenables por el ordenador sólo nos bastaría hacer esa comprobación hasta un número finito de pasos.
Hay una teoría fundamentada sobre esto (números y conjuntos computables) pero se me escapa un poco.
Saludos.
