Computability theory (computer science)