Elements of Purity

A proof of a theorem can be said to be pure if it draws only on what is 'close' or 'intrinsic' to that theorem. In this Element we will investigate the apparent preference for pure proofs that has persisted in mathematics since antiquity, alongside a competing preference for impurity. In Section 1, we present two examples of purity, from geometry and number theory. In Section 2, we give a brief history of purity in mathematics. In Section 3, we discuss several different types of purity, based on different measures of distance between theorem and proof. In Section 4 we discuss reasons for preferring pure proofs, for the varieties of purity constraints presented in Section 3. In Section 5 we conclude by reflecting briefly on purity as a preference for the local and how issues of translation intersect with the considerations we have raised throughout this work.

List of contents

1. Purity in practice; 2. A brief history of purity; 3. Types of purity; 4. Values of purity; 5. Conclusions; References.

Summary

This Element explores the preference for pure proofs in mathematics since antiquity, focusing on geometry and number theory. It discusses different types of purity, reasons for preferring pure proofs, and the importance of local purity. It also touches on translation issues and the relationship between purity and local considerations.

Foreword

This Element is the first comprehensive discussion of a new, critical subject in the philosophy of mathematics, purity of proof.

Product details

• Authors: Andrew Arana, Andrew (Universite De Lorraine Arana, Arana Andrew
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 31.01.2025
• EAN: 9781009539708
• ISBN: 978-1-0-0953970-8
• No. of pages: 84
• Series: Elements in the Philosophy of Mathematics
• Subjects: Non-fiction book > Philosophy, religion > Philosophy: general, reference works; PHILOSOPHY / General, Philosophy, Philosophy of Science, Philosophy of Mathematics, Philosophy: metaphysics and ontology, Philosophy: epistemology and theory of knowledge