This book explores new trends and developments in mathematics education research related to proof and proving, the implications of these trends and developments for theory and practice, and directions for future research. With contributions from researchers working in twelve different countries, the book brings also an international perspective to the discussion and debate of the state of the art in this important area. The book is organized around the following four themes, which reflect the breadth of issues addressed in the book: • Theme 1: Epistemological issues related to proof and proving; • Theme 2: Classroom-based issues related to proof and proving; • Theme 3: Cognitive and curricular issues related to proof and proving; and • Theme 4: Issues related to the use of examples in proof and proving. Under each theme there are four main chapters and a concluding chapter offering a commentary on the theme overall.

This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.

In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics. Explanantion and Proof in Mathematics assembles perspectives from mathematics education and from the philosophy and history of mathematics to strengthen mutual awareness and share recent findings and advances in their interrelated fields. With examples ranging from the geometrists of the 17th century and ancient Chinese algorithms to cognitive psychology and current educational practice, contributors explore the role of refutation in generating proofs, the varied links between experiment and deduction, the use of diagrammatic thinking in addition to pure logic, and the uses of proof in mathematics education (including a critique of "authoritative" versus "authoritarian" teaching styles). A sampling of the coverage: The conjoint origins of proof and theoretical physics in ancient Greece. Proof as bearers of mathematical knowledge. Bridging knowing and proving in mathematical reasoning. The role of mathematics in long-term cognitive development of reasoning. Proof as experiment in the work of Wittgenstein. Relationships between mathematical proof, problem-solving, and explanation. Explanation and Proof in Mathematics is certain to attract a wide range of readers, including mathematicians, mathematics education professionals, researchers, students, and philosophers and historians of mathematics.

*THIS BOOK IS AVAILABLE AS OPEN ACCESS BOOK ON SPRINGERLINK* One of the most significant tasks facing mathematics educators is to understand the role of mathematical reasoning and proving in mathematics teaching, so that its presence in instruction can be enhanced. This challenge has been given even greater importance by the assignment to proof of a more prominent place in the mathematics curriculum at all levels. Along with this renewed emphasis, there has been an upsurge in research on the teaching and learning of proof at all grade levels, leading to a re-examination of the role of proof in the curriculum and of its relation to other forms of explanation, illustration and justification. This book, resulting from the 19th ICMI Study, brings together a variety of viewpoints on issues such as: The potential role of reasoning and proof in deepening mathematical understanding in the classroom as it does in mathematical practice. The developmental nature of mathematical reasoning and proof in teaching and learning from the earliest grades. The development of suitable curriculum materials and teacher education programs to support the teaching of proof and proving. The book considers proof and proving as complex but foundational in mathematics. Through the systematic examination of recent research this volume offers new ideas aimed at enhancing the place of proof and proving in our classrooms.

This book comprises the Proceedings of the 12th International Congress on Mathematical Education (ICME-12), which was held at COEX in Seoul, Korea, from July 8th to 15th, 2012. ICME-12 brought together 3500 experts from 92 countries, working to understand all of the intellectual and attitudinal challenges in the subject of mathematics education as a multidisciplinary research and practice. This work aims to serve as a platform for deeper, more sensitive and more collaborative involvement of all major contributors towards educational improvement and in research on the nature of teaching and learning in mathematics education. It introduces the major activities of ICME-12 which have successfully contributed to the sustainable development of mathematics education across the world. The program provides food for thought and inspiration for practice for everyone with an interest in mathematics education and makes an essential reference for teacher educators, curriculum developers and researchers in mathematics education. The work includes the texts of the four plenary lectures and three plenary panels and reports of three survey groups, five National presentations, the abstracts of fifty one Regular lectures, reports of thirty seven Topic Study Groups and seventeen Discussion Groups.

Research on teaching and learning proof and proving has expanded in recent decades. This reflects the growth of mathematics education research in general, but also an increased emphasis on proof in mathematics education.

This text is about the differences between the practical knowledge of mathematics and mathematics learned in school. The authors look at the differences between these two ways of solving mathematical problems.