{"id":1069,"date":"2026-01-07T16:11:45","date_gmt":"2026-01-07T16:11:45","guid":{"rendered":"https:\/\/blog.lboro.ac.uk\/cmc\/?p=1069"},"modified":"2026-01-09T10:50:27","modified_gmt":"2026-01-09T10:50:27","slug":"when-a-proof-feels-beautiful-even-if-you-dont-completely-understand-it","status":"publish","type":"post","link":"https:\/\/blog.lboro.ac.uk\/cmc\/2026\/01\/07\/when-a-proof-feels-beautiful-even-if-you-dont-completely-understand-it\/","title":{"rendered":"When a proof feels beautiful (Even if you don\u2019t completely understand it)"},"content":{"rendered":"\n

In this blog post, Matthew Inglis reflects on the role of philosophy in mathematical cognition, and discusses a study which explored mathematical aesthetics. Specifically, Matthew asks whether appreciating the beauty of a mathematical proof requires, or is defined by, fully understanding it.<\/em> <\/p>\n\n\n\n

This blog post relates to a special issue in the Journal of Mathematical Behaviour (The Journal of Mathematical Behavior | Mathematics Education meets the Philosophy of Mathematical Practice | ScienceDirect.com by Elsevier<\/a>), and was edited by Jo Eaves.<\/em><\/p>\n\n\n\n

Philosophy and Mathematical Cognition<\/strong><\/p>\n\n\n\n

Cognitive science emerged in the mid-20th century as a response to the perceived limitations of behaviourist approaches to psychology. From its early days, the field was an explicitly interdisciplinary endeavour. Howard Gardner famously depicted \u201cthe cognitive sciences\u201d as nodes on a hexagon: psychology, artificial intelligence, neuroscience, anthropology, linguistics and philosophy. The logo of the Cognitive Science Society remains a hexagon to this day. Their website lists the same six foundational disciplines as Gardner did, but adds a seventh, education, to the list.<\/p>\n\n\n\n

So the early cognitive scientists regarded philosophy as a core component of cognitive science. It played a foundational role by framing important questions about representation, computation, and intentionality, and by shaping theoretical models of cognition. But what role does philosophy play in the branch of cognitive science focused on mathematics, mathematical cognition?<\/p>\n\n\n\n

Not much. Few philosophers attend MCLS conferences or publish in the Journal of Numerical Cognition. And, of the 2786 articles in the Web of Science database which have either \u201cnumerical cognition\u201d or \u201cmathematical cognition\u201d in their abstracts, just 121 (4.3%) are from the philosophy category.<\/p>\n\n\n\n

A couple of years ago the Centre for Mathematical Cognition at Loughborough hosted a workshop<\/a> designed to explore this situation. The event led to a special issue<\/a> of the Journal of Mathematical Behaviour, which has recently been published. The issue, entitled \u201cMathematics Education meets the Philosophy of Mathematical Practice\u201d, explores the intersection between two fields that have historically operated in parallel. The collection of papers brings together research from mathematics education and philosophy of mathematical practice, and attempts to demonstrate how each can inform the other. In this blog post, I discuss the contribution that my colleague George Kinnear and I made to the issue, with the hope that it demonstrates how the empirical methods of mathematical cognition can produce findings that shed light on philosophical questions. The original article can be found here<\/a>.<\/p>\n\n\n\n

Mathematical Aesthetics<\/strong><\/p>\n\n\n\n

Many mathematicians say they know a beautiful proof when they see one: Henri Poincar\u00e9 famously described mathematical beauty as a \u201creal aesthetic feeling\u201d recognised by \u201call true mathematicians\u201d. Mathematicians routinely describe proofs as elegant, inspired or profound, and such judgements shape what is valued, remembered and pursued. Education researchers have also argued that aesthetic experiences can motivate learners, support engagement, and help students to see mathematics as meaningful rather than mechanical.<\/p>\n\n\n\n

However, some philosophers of mathematics have questioned whether aesthetic judgements in mathematics are truly aesthetic. One influential view, associated with Gian-Carlo Rota, suggests that calling a proof \u201cbeautiful\u201d is really a way of talking about understanding. On this account, beauty is shorthand for enlightenment. A mathematician who claims that a proof is beautiful, according to Rota, is actually saying that they understand the proof: that they can see how it fits into the wider mathematical landscape.<\/p>\n\n\n\n

If that view is right, then probably mathematics educators shouldn\u2019t worry about helping students to appreciate mathematical aesthetics. Focusing on developing a deep understanding would be enough, as aesthetic appreciation would simply follow.<\/p>\n\n\n\n

Can empirical work shed light on this issue? Specifically, was Rota correct to suggest that when we ask questions about aesthetics in mathematical contexts we get answers that in fact relate to understanding?<\/p>\n\n\n\n

George Kinnear and I conducted a study investigating this question, which was recently published in the special issue<\/a> of the Journal of Mathematical Behavior. We asked second-year undergraduate mathematics students to read a well-known proof: Cantor\u2019s diagonal argument showing that the real numbers between 0 and 1 cannot be listed in a sequence. This proof is often described as a classic example of mathematical beauty.<\/p>\n\n\n\n

After reading it, students completed two kinds of tasks. First, they rated the proof using descriptive words. Some words captured aesthetics, such as \u2018striking\u2019 or \u2018profound\u2019. Others related to different qualities, such as precision or usefulness. Second, we measured their understanding in three different ways:<\/p>\n\n\n\n