Aesthetics Commons^™

Why Read The Classics (Of Mathematical Proofs)?, Cosimo Perini Brogi

Journal of Humanistic Mathematics

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 …

A Dualistic Interpretation Of Mathematical Creation Through Art And Argumentation, Sofia Almpani, Petros Stefaneas, Mihir Chakraborty

Journal of Humanistic Mathematics

Creativity, informal reasoning and dynamic exchange of ideas form the pulsating heart of mathematical creation. In this approach, the concept of a mathematical object surpasses conventional boundaries of formal presentation, as they also encompass the intention to prove, significant creative stages within the proving, and the overall experience of prover's journey, which may involve arguments, debates, discovery insights, aesthetic visualizations, and narrative elements. In this paper we present two conceptual frameworks, namely Argumentation-based Proof-Events Calculus (APEC) and Mathematical RUPAs, in order to provide distinct yet interconnected perspectives on informal thinking, knowledge creation, and proving in mathematics. Following the two perspectives, …

Wabi-Sabi Mathematics, Jean-Francois Maheux

Journal of Humanistic Mathematics

Mathematics and aesthetics have a long history in common. In this relation however, the aesthetic dimension of mathematics largely refers to concepts such as purity, absoluteness, symmetry, and so on. In stark contrast to such a nexus of ideas, the Japanese aesthetic of wabi-sabi values imperfections, temporality, incompleteness, earthly crudeness, and even contradiction. In this paper, I discuss the possibilities of “wabi-sabi mathematics” by showing (1) how wabi-sabi mathematics is conceivable; (2) how wabi-sabi mathematics is observable; and (3) why we should bother about wabi-sabi mathematics

A Beautiful Proof By Induction, Lars-Daniel Öhman

Journal of Humanistic Mathematics

The purpose of this note is to present an example of a proof by induction that in the opinion of the present author has great aesthetic value. The proof in question is Thomassen's proof that planar graphs are 5-choosable. I give a self-contained presentation of this result and its proof, and a personal account of why I think this proof is beautiful.

A secondary purpose is to more widely publicize this gem, and hopefully make it part of a standard set of examples for examining characteristics of proofs by induction.

Mathematical Proofs: The Beautiful And The Explanatory, Marcus Giaquinto

Journal of Humanistic Mathematics

Mathematicians sometimes judge a mathematical proof to be beautiful and in doing so seem to be making a judgement of the same kind as aesthetic judgements of works of visual art, music or literature. Mathematical proofs are also appraised for explanatoriness: some proofs merely establish their conclusions as true, while others also show why their conclusions are true. This paper will focus on the prima facie plausible assumption that, for mathematical proofs, beauty and explanatoriness tend to go together.

To make headway we need to have some grip on what it is for a proof to be beautiful, and for …