Original: This contrasts with the theory of subrecursive hierarchies, formal methods and formal languages that is common in the study of computability theory in computer science.
Simplified: Computability theory is part of computer science.