The field of mathematical logic dealing with computability and its generalizations has been called "recursion theory" since its early days.
Το πεδίο της μαθηματικής λογικής που ασχολείται με την υπολογισιμότητα και τις γενικεύσεις της έχει χαρακτηριστεί ως «θεωρία αναδρομής» από τις πρώτες ημέρες της.