FORMALIZING DARWINISM, NATURALIZING MATHEMATICS