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...