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.
Teoria calculabilității este strâns legată de ramura logicii matematice denumită teoria recursivității, care elimină restricția de a studia numai modele de calcul, reductibile la modelul Turing.