From the Editors

In our first chapter, Michael Detlefsen carefully examines the historical tension between inductive and deductive methods in mathematics, and relates it to the current discussion of the roles of each in the development of mathematics. He then turns to the question of whether, in fact, formalization of proofs actually increases either understanding or reliability of proofs. He also summarizes recent work on diagrammatic reasoning in mathematics, and the possible roles of visual experience in proofs.

We have chosen this as the first chapter in the book because we believe it is a fine, careful examination of these questions that virtually every reader of this volume will benefit from reading. For those of us who teach mathematics, an awareness of the fluctuations in the role of proof, and what is considered a proof, can be of use in the classroom. Such awareness can give us both a context in which to set our students' attempts at proof and a historical background we can impart to our students. An awareness of the importance of inductive methods in the development of mathematics is also worth transmitting to our students. In particular, making students aware of the current discussion in the mathematical community about the role of computers in mathematics can help them realize that mathematics is still a growing subject, even if most of the mathematics they study at the undergraduate level is centuries old.