Computability theory is closely related to the branch of mathematical logic called recursion theory, which removes the restriction of studying only models of computation which are reducible to the Turing model.
A teoría da computabilidade está moi relacionada coa rama da lóxica matemática chamada teoría da recursión, que suprime a restrición de estudar só modelos de computación reducibles ao modelo de Turing.