Abstract / Synopsis
Inspired by Italo Calvino’s (almost) homonymous writing, this short essay suggests a formal perspective to complement the typical categorisation of classical results in mathematics on aesthetic bases. The traditional proof that √2 is not a rational number provides a simple example of proof mining. When studied through the tools of logic, that proof has also led to designing new systems for formal proving based on cyclic proofs. This example thus supports the central thesis of this essay that reading the classics of mathematical proofs enables us to acquire a taste for mathematical beauty and can open new directions in mathematics as well.
Recommended Citation
Cosimo Perini Brogi, "Why Read The Classics (Of Mathematical Proofs)?," Journal of Humanistic Mathematics, Volume 16 Issue 1 (January 2026), pages 251-260. . Available at: https://scholarship.claremont.edu/jhm/vol16/iss1/15
Terms of Use & License Information
Included in
Aesthetics Commons, Italian Literature Commons, Logic and Foundations of Mathematics Commons, Mathematics Commons, Philosophy of Science Commons
