En primer lugar vamos a introducir el concepto de teoría de la computabilidad, para ayudarnos a comprender este artículo.