Pero dichos estudios carecen, todavía, de unos fundamentos sólidos que permitan afirmar rotundamente que la tesis de Church es falsa, puesto que para demostrar esto sería necesario encontrar un método, universalmente aceptado, que no pudiera reconocer una máquina de Turing.