  There is an extensive theory of computational complexity.  This entry briefly describes the area, putting it into the context of the question of what is computable in principle versus in practice.  For readers interested in learning more about complexity, there are excellent books, for example, [Papadimitriou, 1994] and [Arora and Barak, 2009]. There is also the entry on  Computational Complexity Theory.