Todavía no se ha podido demostrar, con argumentos sólidos, que la tesis de Church sea falsa, por lo que se asume que es totalmente verdadera.