The noun computability theory is uncountable.
The plural form of computability theory is also computability theory.