### Maths and Art

The first thing one sees when clicking on this website is a quote by the mathematician E. Frenkel which reads:

What if at school you had to take an art class in which you were only taught how to paint a fence? What if you were never shown the paintings of Leonardo and Picasso? Would that make you appreciate art? Would you want to learn more about it? Mathematics is just like art.

But the reader might wonder, “How?”, “How is the study of numbers and shapes, in all the abstractness they give rise to, possibly akin to art?”, after all, the quote just delivers a promise regarding the nature of mathematics.

In this shorter and introductory trail we will try giving a glimpse of just what is meant by the analogy between these two disciplines.

When one is unsure where to start, a good place is the beginning. All disciplines of the human spirit stem from the same place: our subjective experience of the world around us, and if we go back in time to the dawn of human thought, we will see that we have been playing with abstractions since our very first steps.

That is because thinking is often directed at something, you think about something, and when you single something out of the interconnected web of things that is reality you are engaged in abstraction from your experience; Humans have learned to play with those abstractions and something like language was born.

Art though does more than this, it takes these abstractions and injects feeling in it, pulls them out of their imaginative realm and renders them concrete: one both makes and enjoys art.

But mathematics, just like art, both stems from experience and above everything else is concerned with the making and enjoyment of compositions, as derived from the interconnections of their factors.

The notion of elegance is pervasive in mathematical practice: A proof can be elegant if it is concise, original, and provocative of novel ideas; but ideas themselves may be elegant from a conceptual point of view, and sometimes even from a purely visual point of view, as a quick search with the keywords “Julia sets” will show you.

This brings us much closer to an appropriate definition of mathematics, as not the “study of numbers and shapes” but “the study of patterns and structures”. As such it has an implicit tendency towards generalisation.

### The example of non-planar geometries

The quintessential example of this fact is geometry, we started with shapes drawn in the mud, and eventually proceeded to give a few axioms:

Which looked simple enough. From these we were able to derive practically everything about planar geometry. One thing people have tried to do for a long time though is deriving the last axiom from the other ones, since it looks a bit wordier and less direct than the others*.

[*The one given here is actually a logically equivalent statement

to the original 5th axiom, which was even wordier]

Then we discovered that if one changes the last axiom to:

5) Given a line and a point external to this line there is no line passing through that point that is parallel to the first line

Then what one obtains is not nonsense but simply geometry on a sphere, where lines are defined as great circles.

In fact, we naturally get a more general definition of “line”. Saying a curve is “straight” on a curved geometry is somewhat of an ill-defined concept, so what to do?

We keep what characterises line segments in planar geometry, namely the fact that they’re the curves with minimum distance between two points, and we run with it.

Think about planes, when mapping a route from Rome to New York (which are at the same latitude) it’s as if the plane “curved” north or south to get there, but that actually is the shortest path.

Similarly, one can replace it with:

5) Given a line and a point external to this line there is an infinite number of lines passing through that point that are parallel to the first line.

Obtaining thus geometry on a saddle, also called hyperbolic geometry.

This geometry can be nicely represented by diagrams like these:

They are called tilings in the hyperbolic plane and could make for an interesting future trail.

While it is hoped your curiosity has been piqued we do need to return to the matter at hand.

### The uses and nature of mathematics

What was noteworthy in the preceding section is the process of discovery, as well as the fact that something like spherical geometry became instrumental in devising Einstein’s theory of general relativity. This is part of a more general trend in 20th century physics, which is the realisation of the adequacy of pure mathematics to physical theorising.

Many still view this as borderline magic, as nicely shows in the title of a famous paper by E. Wigner, “The unreasonable effectiveness of mathematics in the natural sciences”. But if one regards mathematics as the study of abstract patterns, and if one believes that our universe does possess structure, then it is inevitable for some kinds of mathematics to give us precise ways to express, or more precisely model, that structure.

Another example of this is symmetry, which nowadays has a very important place in physics, and which is itself exemplified by another mathematical concept: that of a group.

What is unreasonable then is mathematics itself. How did we get from counting sheep to the richness and variety of modern mathematics?

In the words of Whitehead mathematics is but a divine madness of the human spirit, a slow process, building upon centuries of shared practice, and it gives the discipline the character of an abstract cosmos that is slowly being unveiled.

In fact, the greatest discoveries in mathematics take the form of newly found bridges between seemingly disconnected areas of this world. These form a great class of those beautiful conceptual ideas we discussed earlier, as one of the most beautiful aspects of mathematics is exactly its interconnectedness.

### Aesthetics and the mapping of the mathematical world

This is in stark contrast with how mathematics is normally taught, even at university level, where one has different modules which possibly intersect only at a much later stage.

However, concealed in our initial quote lies a truth about learning: just like what is at play when contemplating a piece of art, the goal of education should lie in bringing about intuition, in immediate apprehension with the minimum of eviscerating analysis.

This type of generality is nothing more than the appreciation of varieties of value, something that could be qualified as aesthetic learning.

For mathematics this means solving exercises surely, the same way studies in anatomy makes one a better portraitist, but also staying faithful to the interconnectedness of various areas of mathematics, to that process of discovery outlined earlier, and to the general aesthetics of the subject.

But how to do that? What structure would best serve this purpose?

In answering this, maps of this abstract cosmos and ways to navigate them were conjectured by the author.

The two dimensions of a sheet of paper are quickly diagnosed to be unable to contain all the information there is to pack.

What about more abstract shapes? More dimensions? This is an entertaining exercise for those familiar with pure mathematics, the punchline though is that again and again arbitrary divisions loom everywhere.

What about a world with a local structure but lacking a global map?

With each concept connected to other ones but without a bird’s eye view offering more than an abstract network.

A magical doll house with each room connected to several other ones through a single door is a concrete way of imagining such an arrangement.

While better suited, this system still leaves things to be desired, for the same concept can be viewed in many ways and the same topic can be part of different discussions in a way not captured by discrete nuggets of information.

### The concept of a mind trail

It is through different trains of thought then that the need for a more fluid concept comes to mind, something akin to a trail.

The discovery of mathematics through stories is, when complemented with practice, what is closest to the nature of the subject, intended with respect to those principles listed earlier.

A trail exemplifies what aesthetic learning should be all about.

A trail is a trail, some people take more time, other people less.

Some people are there for the satisfaction found in completing it, others are there just to enjoy some nature.

A trail is flexible, it can be changed according to the whims of the human aesthetic sense, while having to respect the morphology of the mountains it goes through.

There is no right or wrong way to go about a trail, the view from the top and a novel perspective is all that is sought.

Then, for those who want to be more than casual hikers, practice becomes important, but practice is best done when one has mustered the curiosity necessary to tackle it wholeheartedly.

### Creativity, Discovery and Romanticism

This leaves an open question though; how can mathematics be a creative endeavour of the human spirit and an abstract world to be discovered, at the same time?

In other words, do we invent, or do we discover mathematics?

The most correct answer is, without doubt, “both, and some more”.

We start from experience and create definitions and concepts that are the most natural to create meaningful novel structures which are not found directly in experience, soaring above the immediacy of perception. We discover new things in light of these definitions, logical necessity and intuition; we sometimes slightly change those starting blocks to conform to the nature of what is being found.

Even in its act of making, the logical rules of mathematics confer to it a subtle haiku-like balance between freedom and restriction that makes up the essence of many creative endeavours.

That is why, when walking, the attitude most closely resembling that of the mathematician by trade is that of the wanderer one often sees depicted in many romantic-era paintings: lost in a world born out of a unique perspective on this universe we inhabit, a world that is unfathomably rich yet one where he feels at home, a world where he is free to go one way or the other, along trails yet uncharted.

Which brings us full circle to where we started, to the artistic side of mathematics,

while we wait for the opening of the next trail.