"Esistono" i numeri cosiddetti numerabili, ossia i naturali i razionali e gli irrazionali algebrici?
Non so bene come fare la domanda, provo a spiegarmi meglio. Nei vari lavori di matematici come Cantor, Cohen ecc. si è affrontato il problema del continuo e dell'infinito associando al continuo la realtà e ai numerabili una sorta di sistema di coordinate per muoverci sulla retta del continuo appunto. Kronecker disse che i naturali erano opera di dio e tutto il resto opera dell'uomo, ma se noi tagliamo la rete dei reali in un punto qualsiasi sicuramente colpiremo un numero irrazionale non algebrico, mai e poi mai un numero razionale tanto meno un naturale. Allora dovrebbe essere vero il contrario di quello che disse Kronecker, è l'uomo che ha creato i naturali.
Ma esistono veramente?