El estudio sobre qué construcciones matemáticas pueden ser llevadas a cabo de una forma eficaz se denomina a veces matemática recursiva; El "Handbook of Recursive Mathematics" (Ershov "et al." 1998) cubre muchos de los resultados conocidos en este campo.