The Meaning of Proofs

- Blurb -

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.