O problemă computaţionale, care nu pot fi rezolvate de o mașină Turing. Asociată funcţiei se numeşte o funcţie de uncomputable.