1
In che misura la matematica dei Real può essere applicata ai Real Computable?
Esiste un teorema generale che affermerebbe, con un'adeguata sanificazione, che i risultati più noti sull'uso dei numeri reali possono essere effettivamente utilizzati quando si considerano solo i reali calcolabili? Oppure esiste una corretta caratterizzazione dei risultati che rimangono validi se si considerano solo i reali calcolabili? Una domanda secondaria è …