Artículo principal: Teoría de la computabilidad
Esta categoría solo contiene la siguiente subcategoría.