Discussione:Funzione calcolabile

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.