Dada la definición de ‘computable’ como ‘efectivamente calculable’, la tesis de Church-Turing afirma que si una función F no es computable por una máquina de Turing entonces no es computable por ninguna máquina.