Mathematicians are not driven by truth so much as by beauty. There is nothing exceptional about this claim, and it is only surprising to those who are not themselves mathematicians. The driving force of beauty in mathematical research has occasionally been documented; G. Hardy’s A Mathematician’s Apology being one example, Davis and Hersch’s The Mathematical Experience being another, more contemporary one. However, I thought I would mention another aspect of the connection between beauty and mathematics, one to which I can speak more directly and personally.
You see, many years ago my father gave me his slide rule.
The particular instrument he gave me is a Keuffel and Esser “Log Log Duplex Deci-Trig” slide rule model 4081-3S.
(An excellent source for information on K&E instruments can be found at http://www.sphere.bc.ca/test/ke-sliderule.html, which is also where the above picture is from.)
It was a source of some amusement to my father when I asked if I could keep his old slide rule. He had passed it along to me to entertain myself with since his work by that time had moved on to electronic calculators. Certainly it is the case that calculators offer a much higher level of numerical accuracy than a slide rule. However, unlike a calculator, a high-quality slide rule places you in a direct relationship with the numbers and equations you are working through that cannot be found with calculators. And this relationship is beautiful.
For one, there is a practical matter that tends to get overlooked. When working with calculators, numbers appear almost by magic, spewing forth in ridiculous decimal places that offer a pretense of accuracy without any presumption of understanding. That pretense of accuracy, I submit, is a significant problem. The accuracy of our measurements seldom goes beyond two decimal places, but the calculator will give an answer to 10 or more. This is an illusion, not a conclusion. With a slide rule, the limits of accuracy are already built into the calculating process itself. Thus the slide rule puts you in a truer relation to the practical facts in hand by denying you the illusion of unlimited accuracy. This truth has the rough-hewn beauty of a tree-limb found wild in the woods and hand polished to a personal walking stick over a perfectly synthesized, mass-produced crutch.
But there are quite real issues of theory here as well, both mathematical and aesthetic. Upon first examining the slide rule, the numbers and registers can appear to be scattered across its length in a haphazard, even chaotic manner. But there is an order and symmetry to the slide rule that is its defining characteristic. The registers, far from being chaotic, are uniformly spaced according to their base 10 logarithm. (“Log” for short. The base 10 log of a number X is that number Y such that 10Y = X. Thus the log of 2 (or just “log 2”) is approximately .31.) Indeed, if one flips my slide rule over to look at the L register on the back, one will see that this is the only register that is evenly spaced; and, as one might then expect, this is the actual logarithm scale.
Multiplying and dividing on the slide rule is thus a matter of adding and subtracting logarithms. Since all numbers are evenly spaced according to their log, such activities are really just composition (plus or minus) of simple, linear lengths, like two simple rulers held up one edge against the other. In this way, fundamental mathematical relationships reveal themselves to be of a kind with the most basic sorts of measurement acts: the slide rule is, after all, “simply” a multi-modal ruler. This reduction of basic mathematical and numerical relations to that of the comparison of extensive lengths is a rather exotic and difficult theoretical development. I hold it in my hands.
Further, these lengths compose end-to-end and wrap around, so that it is rather like the linear slide rule was actually circular. (Certain versions of slide rule actually are; but the precise, multifunction scientific instruments tended not to be so due to the requirements of accuracy for their multi-layered and multi-modal registers and scales.)
These rules of composition on a slide rule — that composition is well-defined, that it is self-contained and that it can always be reversed, are the foundational axioms of that mathematical structure known as a “group.” Mathematical groups, in turn, are definitive of the formal study of symmetry. And symmetry, of course, has been recognized since the days of Aristotle and before as fundamental to the very notion of beauty. (No cheap URL for this one, I’m afraid; you may just have to read some Greek philosophy. However, English translations will suffice.)
Symmetry is about balance, proportion, distribution, etc. The Greek word “temperance” (roughly “sophrosyne”) was originally an aesthetic ideal that came to be translated into a notion about a well lived human life. The very word “aesthetic” comes from the Greek word for “experience.” Our notion of beauty is then in turn something that the Greek’s held up as a fundamental ideal of human existence at its most basic, and most basically human. And such existence finds one of its most fundamental expressions in the group-theoretic expressions of unity and symmetry that I hold in my hand: this precision instrument, this lovingly crafted slide rule.
But the beauty of symmetry is not just to be found in those symmetries as they are manifested; it is there, too, to be found in those symmetries that are strategically broken. Some (mathematical) relations lead to zero or infinity; some to both. When that happens, the symmetry ends there — the scales are shattered, the mirror crack’d.
But the slide rule enables and empowers these recognitions; the “LL” registers trail off from plus and minus zero; others track the dwindling of decimal places. Each such dwindling shadow of a number retains its original symmetry (one can invert the mirror, and return to the land of integers) even as it carries you over the falls toward a silent oblivion of non-mathematical answer.
But the balance is found even as it is lost, the tipping point enunciates the level plane, the boundless is found in limitation. The infinite is discovered in the ruled line.
Obviously more could be said here, but I’ve said too much already. Aristotle gave the principle of the form and purpose of beauty to the idea of symmetry. Plato gave to the physician Eryximachus the poetic discourse on the connections between balance, harmony, life and love in The Symposium. My father gave me a slide rule.