No matter how good a computer is, it will never compute the whole sequence of PI, but we can approximate it to arbitrary degeree. We can also implement programs that can do calculus and linear algebra. But what about other subjects, Group theory, Topology, ... Is some branches of mathematics more 'computable' than others?
One reason for asking is that 'teaching a machine to do something' also makes me learn it better in the process.