Computability concerns the ability to solve a problem effectively using a finite set of operations or an algorithm. It examines which problems can be solved on a computer in principle, laying the foundation for understanding what can be achieved within computer science and logic.