Compare https://arxiv.org/abs/1108.1791 and why computational complexity is often more interesting that computability.