La siguiente ilustración muestra la evolución histórica de la teoría de la computabilidad: