The field of mathematical logic dealing with computability and its generalizations has been called "recursion theory" since its early days.
Domeniul din logica matematică ce se ocupă cu calculabilitatea și generalizările ei a fost numit „teoria recursivității” la începuturile sale.