Why is automated theorem proving impossible?

Question

As far I know, in general case there is no Turing machine which could get any theorem on its input and produce its proof on its output.

Why is it so?