Discussione:Funzione calcolabile
Vai alla navigazione
Vai alla ricerca
Un'algoritmo non è un problema calcolabile, ma piuttosto l'insieme dei passi che portano alla risoluzione di un problema calcolabile o Turing-equivalente. Pertanto io riscriverei questa sentenza:
...corrispondono all'intuitivo concetto di "problema che può essere calcolato", e quindi di algoritmo.
cosi
...corrispondono all'intuitivo concetto di "problema che può essere calcolato", quindi risolvibile algoritmicamente.