The study of which mathematical constructions can be effectively performed is sometimes called recursive mathematics; the Handbook of Recursive Mathematics (Ershov et al. 1998) covers many of the known results in this field.
Studiul căror construcții matematice care pot fi efectiv efectuate este uneori numit matematică recursivă; Handbook of Recursive Mathematics (Ershov et al. 1998) acoperă multe din rezultatele cunoscute în acest domeniu.