Evolution and Logic
... do not think that is the case: although Formalism, Platonism, and Intuitionism have
very different explanations of mathematics, it seems to me be possible for a devotee
of any of them to argue for an evolutionary origin.
Formalism is rather straightforward: you may accept that mathematics has an