computabilità

sf. [da computare]. In logica matematica, possibilità di eseguire una determinata operazione (o serie di operazioni) mediante un algoritmo. Quando è possibile dare una procedura effettiva che consente di risolvere un problema si parla di computabilità effettiva; in questo senso il termine viene usato quale sinonimo di calcolabilità.