Computability examines which computational problems are solvable on various theoretical models of computation.