Today recursion theory is mostly concerned with the more refined problem of complexity classes—when is a problem efficiently solvable?—and the classification of degrees of unsolvability.
Σήμερα η θεωρία αναδρομής ως επί το πλείστον ασχολείται με το πιο εκλεπτυσμένο πρόβλημα των κλάσεων πολυπλοκότητας - πότε ένα πρόβλημα είναι αποτελεσματικά επιλύσιμο; - και την ταξινόμηση των βαθμών αναποκρισιμότητας.