Proof and Other Dilemmas

For the majority of the twentieth century, philosophers of mathematics focused their attention on foundational questions. However, in the last quarter of the century they began to return to basics, and two new schools of thought were created: social constructivism and structuralism. The advent of the computer also led to proofs and development of mathematics assisted by computer, and to questions concerning the role of the computer in mathematics. This book of sixteen original essays is the first to explore this range of new developments in the philosophy of mathematics, in a language accessible to mathematicians. Approximately half the essays were written by mathematicians, and consider questions that philosophers have not yet discussed. The other half, written by philosophers of mathematics, summarise the discussion in that community during the last 35 years. A connection is made in each case to issues relevant to the teaching of mathematics.