Beauty, Truth and the Size of Working Memory

Years ago I argued that beauty is not truth but an artifact of our brain size, using the four-colour theorem and a symmetry argument. I want to return to the subject from a different direction and push the claim further. Beauty is not merely uncorrelated with truth. It has a specific cause, and the cause is mechanical: beauty is the sensation of an object fitting into human short-term memory. Whatever fits, we call elegant, profound or beautiful. Whatever does not, we call ugly, tedious or incomprehensible, and we quietly downgrade our estimate of its truth at the same time. Once you see the mechanism you see it in mathematics, in the way we explain history, and in music, and it is the same mechanism in all three.

The Budget

Short-term memory is small. The classic figure is seven items give or take two, and more recent work puts the number of genuinely independent chunks closer to four. Whatever the exact number, the budget is tiny, it is fixed by biology, and it has not grown since long before there were mathematicians. Everything we are able to understand at once has to pass through this window. An idea that fits in it can be turned over, inspected from every side and compared against other ideas. An idea that does not fit has to be processed in pieces, each piece parked in long-term memory while the next is examined, and the result is never experienced as a single thing.

My claim is that the feeling we call beauty is the feeling of an idea fitting. It is a signal about the match between the object and the window, and it carries no information about the object beyond that match.

Proofs

Mathematicians praise short proofs, call them beautiful, and often add that beauty is a guide to truth. Long proofs, and above all the computer-assisted and brute-force ones, are tolerated as valid but resented as ugly, and more than one mathematician has said out loud that a theorem with only an ugly proof is somehow not yet properly understood.

But the length of the proof says nothing about the theorem. A two-line proof and a two-thousand-page proof establish exactly the same thing, and the theorem is exactly as true at the end of either. The difference between them lies entirely on our side: one fits in the window, the other has to be swallowed in pieces. Calling the short one beautiful is a report about the reader's working memory, and the moment we mistake it for a report about mathematics we have confused our comfort with the truth.

Artificial intelligence makes this vivid. A system that holds a million tokens in its context has no built-in reason to prefer a short proof over a long one. Both are equally valid, both check out, and neither is harder for it to hold. If such a system developed aesthetic preferences they would be calibrated to its own window rather than ours, and there is no reason to expect the two to coincide. Our fondness for the one-line proof would look to it exactly as parochial as a child's preference for stories with three characters looks to us.

Causes

Move from mathematics to history and the same budget distorts the picture in a far more damaging way. Why did a war break out, why did an empire fall, why did a market crash, why did a country slide into civil conflict? The honest answer to such questions is nearly always a list: twenty or thirty factors, each contributing a few percent, interacting with one another, none sufficient on its own. I have written about how little the social sciences manage to explain, and part of the reason is that the true explanation of a large social event has precisely the shape our memory cannot hold.

So we do not hold it. We replace the list with a story: one villain, one cause, one turning point. The story fits in the window, it can be told over dinner, and it feels true in exactly the way the short proof feels true. It is beautiful. It is also wrong, not in its details but in its shape, because the real cause was a weighted sum, and a weighted sum of twenty terms cannot be made beautiful without discarding most of the terms. I argued long ago that truth is not short and that this is why falsehood spreads; the working-memory budget is the mechanism underneath that observation. The aesthetic preference for the neat explanation is not a harmless taste. It actively prevents us from understanding the problems we most need to understand, because every accurate account of them is, by our standards, ugly.

Music

Music is the case that convinced me this is one phenomenon rather than three. What is beautiful in music is the motif: a handful of notes, a short rhythm, a progression of four or five chords. These are exactly the size of a working-memory chunk. A listener can hold them, recognise them when they return and anticipate them a moment before they arrive, and the pleasure of music is very largely the pleasure of that recognition and that anticipation.

Large works are built on this fact. A symphony runs forty minutes, but nobody holds forty minutes in their head. It is held as a few motifs that are stated, repeated, transformed, inverted and brought back, and every structural device in the composer's toolbox, the recapitulation, the variation, the fugue, is a way of letting a tiny memory experience a huge object as coherent. Imagine the alternative: an eighteen-minute melody that never repeats and never returns to anything you have heard before. It could be composed. Every note could be well chosen. It would not be heard as beautiful, or even as a single piece, because by the second minute the first is gone and there is nothing left for the listener to recognise. What cannot be stored and recalled is not perceived as beautiful. Memory is the arbiter of taste.

Conclusion

Put the three together and the conclusion is hard to avoid. Beauty is relative to the scale and duration of short-term memory. It is not a property of proofs, of explanations or of melodies. It is a relation between those objects and a very small buffer in the head of a particular primate. When we say that truth is beautiful we are projecting the shape of that buffer onto the world and then congratulating the world for fitting it. Reality is under no obligation to be simple. We value compression not because the universe is compressed but because our processing power demands it, and that demand was set by a budget that evolved for tracking a few predators and a few allies, not for proving theorems or explaining wars.

This is not a traditional philosophical position. The classical theories of beauty spoke of symmetry, harmony, proportion and the perception of order, and none of them, as far as I know, tied aesthetic value to the capacity of memory. The idea belongs to cognitive science, evolutionary psychology and information theory rather than to Plato or Kant. I count that in its favour. The older theories described what beautiful things have in common. This one says why we find them so, and the answer is less flattering than the tradition would like: not that we are attuned to the deep order of the cosmos, but that we have a small window and we like what fits through it.