Has the advent of computers changed the nature of mathematical knowledge? Should it? Is the importance of proof decreasing? Is there an empirical aspect to mathematics after all? To what extent is mathematics socially constructed? Is mathematics the "science of patterns?" Recently emerging questions like these are discussed in this book along with some recent thinking about classical questions.

During the first 75 years of the twentieth century almost all work in the philosophy of mathematics concerned foundational questions. In the last quarter of the century, philosophers of mathematics began to return to basic questions concerning the philosophy of mathematics such as, what is the nature of mathematical knowledge and of mathematical objects, and how is mathematics related to science? Two new schools of philosophy of mathematics, social constructivism and structuralism, were added to the four traditional views (formalism, intuitionism, logicism, and Platonism). The advent of the computer led to proofs and the development of mathematics assisted by computer, and to questions of the role of the computer in mathematics.

This book of 16 essays, all written specifically for this volume, is the first to explore this range of new developments in a language accessible to mathematicians. Approximately half the essays were written by mathematicians, and consider questions that philosophers are not yet discussing. The other half, written by philosophers of mathematics, summarize the discussion in that community during the last 35 years. In each case, a connection is made (in the article itself, or in its introduction) to issues relevant to the teaching of mathematics.

Electronic ISBN: 9781614445050