If you're reading this book, you are probably a quantitative researcher, or a teacher of
quantitative research, or both. Maybe you have to learn how to do qualitative research for …

In this paper, we situate the educational movement of “Ethics in Mathematics,” as outlined by
the Cambridge University Ethics in Mathematics Project, in the wider area of mathematics …

From a purely formalist viewpoint on the philosophy of mathematics, experiments cannot
(and should not) play a role in warranting mathematical statements but must be confined to …

For the past three decades, peer review practices have received much attention in the
literature. But although this literature covers many research fields, only one previous …

The essay begins with a taxonomy of the major contexts in which the notion of 'style'in
mathematics has been appealed to since the early twentieth century. These include the use …

As it stands, there is no single, well-defined philosophical subfield devoted to the study of
non-deductive methods in mathematics. As the term is being used here, it incorporates a …

In this article we consider important developments in artificial intelligence within automated
andinteractive theorem provers (ATP/ITP). Our focus is to describe and analyze key …

This chapter is devoted to discussions about the nature of experiments in mathematics
during the formative period of experimental mathematics and to a quantitative and …

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of
proof. For their own conjectures, evidence justifies further work in looking for a proof. Those …

Ethics and mathematics are often perceived as two entirely different disciplines: one dealing
with the questions of leading a good and moral life and the other dealing with abstract truths …