Description
Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story.
In The Meaning of Proofs, mathematician Gabriele Lolli argues that to write a mathematical proof is tantamount to inventing a story. Lolli offers not instructions for how to write mathematical proofs, but a philosophical and poetic reflection on mathematical proofs as narrative. Mathematics, imprisoned within its symbols and images, Lolli writes, says nothing if its meaning is not narrated in a story. The minute mathematicians open their mouths to explain something—the meaning of x, how to find y—they are framing a narrative.
Every proof is the story of an adventure, writes Lolli, a journey into an unknown land to open a new, connected route; once the road is open, we correct it, expand it. Just as fairy tales offer a narrative structure in which new characters can be inserted into recurring forms of the genre in original ways, in mathematics, each new abstract concept is the protagonist of a different theory supported by the general techniques of mathematical reasoning. In ancient Greece, there was more than an analogy between literature and mathematics, there was direct influence. Euclid’s proofs have roots in poetry and rhetoric. Mathematics, Lolli asserts, is not the mere manipulation of formulas.
Table of Contents
Foreword by Matilde Marcolli ix
Preface xiii
1 Great Stories 1
2 The Meaning of Proofs 23
3 Three Pieces of Evidence 67
4 Tradition 79
5 Mathematical Language 87
6 The Origins of Argumentation 95
7 Poetry and Logic in Euclid 107
Conclusions 129
Appendix 137
References 149
Index of Names 155
