The provenance of pure reason : essays in the philosophy of mathematics and its history