, 1990, 'Rigorous proof and the history of mathematics: comments on Crowe', Synthese 83 (3), 449-453.