Lolli, Gabriele (Author)
Bonnie McClellan-Broussard (Translator)
Bonnie McClellan-Broussard
MIT Press
Publication date: 2022
Language: English
Physical Details: 176
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.
...MoreSimilar Citations
Article
Favio Ezequiel Miranda Perea;
Lourdes del Carmen González Huesca;
(2023)
On Conceptual changes in Computer Assisted Proofs
(/p/isis/citation/CBB686392053/)
Book
John P. Burgess;
(2015)
Rigor and Structure
(/p/isis/citation/CBB621282384/)
Thesis
Elena Fratto;
(2016)
Medicine As Storytelling: Emplotment Strategies in the Definition of Illness and Healing (1870-1930)
(/p/isis/citation/CBB286526631/)
Book
Charles Coustille;
(2018)
Antithèses: Mallarmé, Péguy, Paulhan, Céline, Barthes
(/p/isis/citation/CBB419482514/)
Book
Stephen Cave;
Kanta Dihal;
Sarah Dillon;
(2020)
AI Narratives: A History of Imaginative Thinking about Intelligent Machines
(/p/isis/citation/CBB815179895/)
Chapter
Harari, Orna;
(2012)
John Philoponus and the Conformity of Mathematical Proofs to Aristotelian Demonstrations
(/p/isis/citation/CBB001320142/)
Article
Palle Yourgrau;
(2020)
Proof vs Provability: On Brouwer’s Time Problem
(/p/isis/citation/CBB479319966/)
Book
Philip Ording;
(2019)
99 Variations on a Proof
(/p/isis/citation/CBB176394056/)
Article
Lorenat, Jemma;
(2012)
Not Set in Stone: Nineteenth-Century Geometrical Constructions and the Malfatti Problem
(/p/isis/citation/CBB001212294/)
Article
Andrea Del Centina;
Alessandra Fiocca;
(2021)
The chords theorem recalled to life at the turn of the eighteenth century
(/p/isis/citation/CBB673858384/)
Article
Jullien, Vincent;
(2011)
Le Calcul Logique de Roberval
(/p/isis/citation/CBB001220639/)
Article
Centrone, Stefania;
(2012)
Strenge Beweise und das Verbot der metábasis eis állo génos
(/p/isis/citation/CBB001210991/)
Article
Babbitt, Donald;
Goodstein, Judith;
(2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem”
(/p/isis/citation/CBB001211747/)
Article
Lützen, Jesper;
(2009)
Why Was Wantzel Overlooked for a Century? The Changing Importance of an Impossibility Result
(/p/isis/citation/CBB000953071/)
Article
Dick, Stephanie;
(2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration
(/p/isis/citation/CBB001220009/)
Article
Abeles, Francine F.;
(2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees
(/p/isis/citation/CBB001214122/)
Article
Cox, David A.;
(2011)
Why Eisenstein Proved the Eisenstein Criterion and Why Schönemann Discovered It First
(/p/isis/citation/CBB001211029/)
Article
Grünbaum, Branko;
(2012)
Is Napoleon's Theorem Really Napoleon's Theorem?
(/p/isis/citation/CBB001211025/)
Article
Heukelom, Floris;
(2015)
A History of the Allais Paradox
(/p/isis/citation/CBB001202248/)
Article
Smadja, Ivahn;
(2012)
Local Axioms in Disguise: Hilbert on Minkowski Diagrams
(/p/isis/citation/CBB001211483/)
Be the first to comment!