Research in History and Philosophy of Mathematics