There is a small but very interesting literature on the aesthetics of mathematical proof – see for example this 2005 paper by my former colleague James McAllister, and a more recent paper on Kant’s conception of beauty in mathematics applied to proof by Angela Breitenbach, one of the organizers of the meeting in Norwich. (If readers have additional literature suggestions, please share them in comments.) But perhaps the locus classicus for the discussion of what makes a mathematical proof beautiful is G. H. Hardy’s splendid A Mathematician’s Apology (a text that is itself very beautiful!). In it, Hardy identifies and discusses a number of features that should be present for a proof to be considered beautiful: seriousness, generality, depth, unexpectedness, inevitability, and economy. And so, one way for me to test my dialogical hypothesis would be to see whether it is possible to provide a dialogical rationale for each of these features that Hardy discusses. My prediction is that most of them can receive compelling dialogical explanations, but that there will be a residue of properties related to beauty in a mathematical proof that cannot be reduced to the ideal of explanatory persuasion. (What this residue will be I do not yet know).
Throughout history, mathematicians have expressed preference for solutions to problems that avoid introducing concepts that are in one sense or another “foreign” or “alien” to the problem under investigation. (Detlefsen & Arana 2011, 1)