Algunos de los resultados que se encuentran englobados dentro de la teoría de la computabilidad son: