Ricerc@Sapienza

How should one conceive of the method of mathematics, if one takes a naturalist stance? Mathematical knowledge is regarded as the paradigm of certain knowledge, since mathematics is based on the axiomatic method. Natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some naturalists try to naturalize mathematics relying on Darwinism.

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.