Mathematical proofs and scientific discovery

The idea that science can be automated is so deeply related to the view that the method of mathematics is the axiomatic method, that confuting the claim that mathematical knowledge can be extended by means of the axiomatic method is almost equivalent to confuting the claim that science can be automated. I argue that the axiomatic view is inadequate as a view of the method of mathematics and that the analytic view is to be preferred. But, if the method of mathematics and natural sciences is the analytic method, then the advancement of knowledge cannot be mechanized, since non-deductive reasoning plays a crucial role in the analytic method, and non-deductive reasoning cannot be fully mechanized.