.svg)
An example of "beauty in method"—a simple and elegant proof of the Pythagorean theorem.
Mathematical beauty describes the notion that some mathematicians may derive aesthetic pleasure from their work, and from mathematics in general. They express this pleasure by describing mathematics (or, at least, some aspect of mathematics) as beautiful. Mathematicians describe mathematics as an art form or, at a minimum, as a creative activity. Comparisons are often made with music and poetry.
Bertrand Russell expressed his sense of mathematical beauty in these words:
Mathematics, rightly viewed, possesses not only truth, but supreme beauty—a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show. The true spirit of delight, the exaltation, the sense of being more than Man, which is the touchstone of the highest excellence, is to be found in mathematics as surely as poetry.[1]Paul Erdős expressed his views on the ineffability of mathematics when he said, "Why are numbers beautiful? It's like asking why is Beethoven's Ninth Symphony beautiful. If you don't see why, someone can't tell you. I know numbers are beautiful. If they aren't beautiful, nothing is".[2]
Beauty in method
Mathematicians describe an especially pleasing method of proof as elegant. Depending on context, this may mean:- A proof that uses a minimum of additional assumptions or previous results.
- A proof that is unusually succinct.
- A proof that derives a result in a surprising way (e.g., from an apparently unrelated theorem or collection of theorems).
- A proof that is based on new and original insights.
- A method of proof that can be easily generalized to solve a family of similar problems.
Conversely, results that are logically correct but involve laborious calculations, over-elaborate methods, very conventional approaches, or that rely on a large number of particularly powerful axioms or previous results are not usually considered to be elegant, and may be called ugly or clumsy.
Beauty in results
Starting at e0 = 1, travelling at the velocity i relative to one's position for the length of time π, and adding 1, one arrives at 0. (The diagram is an Argand diagram)
Some mathematicians[4] see beauty in mathematical results that establish connections between two areas of mathematics that at first sight appear to be unrelated. These results are often described as deep.
While it is difficult to find universal agreement on whether a result is deep, some examples are often cited. One is Euler's identity:[5]
Other examples of deep results include unexpected insights into mathematical structures. For example, Gauss's Theorema Egregium is a deep theorem which relates a local phenomenon (curvature) to a global phenomenon (area) in a surprising way. In particular, the area of a triangle on a curved surface is proportional to the excess of the triangle and the proportionality is curvature. Another example is the fundamental theorem of calculus (and its vector versions including Green's theorem and Stokes' theorem).
The opposite of deep is trivial. A trivial theorem may be a result that can be derived in an obvious and straightforward way from other known results, or which applies only to a specific set of particular objects such as the empty set. Sometimes, however, a statement of a theorem can be original enough to be considered deep, even though its proof is fairly obvious.
In his A Mathematician's Apology, Hardy suggests that a beautiful proof or result possesses "inevitability", "unexpectedness", and "economy".[7]
Rota, however, disagrees with unexpectedness as a sufficient condition for beauty and proposes a counterexample:
A great many theorems of mathematics, when first published, appear to be surprising; thus for example some twenty years ago [from 1977] the proof of the existence of non-equivalent differentiable structures on spheres of high dimension was thought to be surprising, but it did not occur to anyone to call such a fact beautiful, then or now.[8]Perhaps ironically, Monastyrsky writes:
It is very difficult to find an analogous invention in the past to Milnor's beautiful construction of the different differential structures on the seven-dimensional sphere... The original proof of Milnor was not very constructive, but later E. Briscorn showed that these differential structures can be described in an extremely explicit and beautiful form.[9]This disagreement illustrates both the subjective nature of mathematical beauty and its connection with mathematical results: in this case, not only the existence of exotic spheres, but also a particular realization of them.
Beauty in experience
A "cold and austere beauty" has been attributed to the compound of five cubes
Interest in pure mathematics separate from empirical study has been part of the experience of various civilizations, including that of the ancient Greeks, who "did mathematics for the beauty of it".[10] The aesthetic pleasure that mathematical physicists tend to experience in Einstein's theory of general relativity has been attributed (by Paul Dirac, among others) to its "great mathematical beauty".[11] The beauty of mathematics is experienced when the physical reality of objects are represented by mathematical models. Group theory, developed in the early 1800s for the sole purpose of solving polynomial equations, became a fruitful way of categorizing elementary particles—the building blocks of matter. Similarly, the study of knots provides important insights into string theory and loop quantum gravity.
Some believe that in order to appreciate mathematics, one must engage in doing mathematics.[12] There are some teachers that encourage student engagement by teaching mathematics in a kinesthetic way (see kinesthetic learning). For example, Math Circle is an afterschool enrichment program where students do mathematics through games and activities; in a general Math Circle lesson, students use pattern finding, observation, and exploration to make their own mathematical discoveries. For example, mathematical beauty arises in a Math Circle activity on symmetry designed for 2nd and 3rd graders. In this activity, students create their own snowflakes by folding a square piece of paper and cutting out designs of their choice along the edges of the folded paper. When the paper is unfolded, a symmetrical design reveals itself. In a day to day elementary school mathematics class, symmetry can be presented as such in an artistic manner where students see aesthetically pleasing results in mathematics.
Some teachers prefer to use mathematical manipulatives to present mathematics in an aesthetically pleasing way. Examples of a manipulative include algebra tiles, cuisenaire rods, and pattern blocks. For example, one can teach the method of completing the square by using algebra tiles. Cuisenaire rods can be used to teach fractions, and pattern blocks can be used to teach geometry. Using mathematical manipulatives helps students gain a conceptual understanding that might not be seen immediately in written mathematical formulas.[13]
Another example involves origami. Origami, the art of paper folding, has aesthetic qualities and many mathematical connections. One can study the mathematics of paper folding by observing the crease pattern on unfolded origami pieces.[14]
Combinatorics (the study of counting) has artistic representations that some find mathematically beautiful.[15] There are many visual examples that illustrate combinatorial concepts. Here are some topics and objects seen in combinatorics courses with visual representations:
Beauty and philosophy
Some mathematicians are of the opinion that the doing of mathematics is closer to discovery than invention, for example:There is no scientific discoverer, no poet, no painter, no musician, who will not tell you that he found ready made his discovery or poem or picture – that it came to him from outside, and that he did not consciously create it from within.These mathematicians believe that the detailed and precise results of mathematics may be reasonably taken to be true without any dependence on the universe in which we live. For example, they would argue that the theory of the natural numbers is fundamentally valid, in a way that does not require any specific context. Some mathematicians have extrapolated this viewpoint that mathematical beauty is truth further, in some cases becoming mysticism.
— William Kingdon Clifford, from a lecture to the Royal Institution titled "Some of the conditions of mental development"
Pythagorean mathematicians believed in the literal reality of numbers. The discovery of the existence of irrational numbers was a shock to them, since they considered the existence of numbers not expressible as the ratio of two natural numbers to be a flaw in nature (the Pythagorean world view did not contemplate the limits of infinite sequences of ratios of natural numbers—the modern notion of a real number). From a modern perspective, their mystical approach to numbers may be viewed as numerology.
In Plato's philosophy there were two worlds, the physical one in which we live and another abstract world which contained unchanging truth, including mathematics. He believed that the physical world was a mere reflection of the more perfect abstract world.
Hungarian mathematician Paul Erdős[16] spoke of an imaginary book, in which God has written down all the most beautiful mathematical proofs. When Erdős wanted to express particular appreciation of a proof, he would exclaim "This one's from The Book!"
Twentieth-century French philosopher Alain Badiou claims that ontology is mathematics. Badiou also believes in deep connections between mathematics, poetry and philosophy.
In some cases, natural philosophers and other scientists who have made extensive use of mathematics have made leaps of inference between beauty and physical truth in ways that turned out to be erroneous. For example, at one stage in his life, Johannes Kepler believed that the proportions of the orbits of the then-known planets in the Solar System have been arranged by God to correspond to a concentric arrangement of the five Platonic solids, each orbit lying on the circumsphere of one polyhedron and the insphere of another. As there are exactly five Platonic solids, Kepler's hypothesis could only accommodate six planetary orbits and was disproved by the subsequent discovery of Uranus.
Beauty and mathematical information theory
In the 1970s, Abraham Moles and Frieder Nake analyzed links between beauty, information processing, and information theory.[17][18] In the 1990s, Jürgen Schmidhuber formulated a mathematical theory of observer-dependent subjective beauty based on algorithmic information theory: the most beautiful objects among subjectively comparable objects have short algorithmic descriptions (i.e., Kolmogorov complexity) relative to what the observer already knows.[19][20][21] Schmidhuber explicitly distinguishes between beautiful and interesting. The latter corresponds to the first derivative of subjectively perceived beauty: the observer continually tries to improve the predictability and compressibility of the observations by discovering regularities such as repetitions and symmetries and fractal self-similarity. Whenever the observer's learning process (possibly a predictive artificial neural network) leads to improved data compression such that the observation sequence can be described by fewer bits than before, the temporary interestingness of the data corresponds to the compression progress, and is proportional to the observer's internal curiosity reward.[22][23]Mathematics and the arts
Music
Examples of the use of mathematics in music include the stochastic music of Iannis Xenakis, Fibonacci in Tool's Lateralus, counterpoint of Johann Sebastian Bach, polyrhythmic structures (as in Igor Stravinsky's The Rite of Spring), the Metric modulation of Elliott Carter, permutation theory in serialism beginning with Arnold Schoenberg, and application of Shepard tones in Karlheinz Stockhausen's Hymnen.Visual arts
Examples of the use of mathematics in the visual arts include applications of chaos theory and fractal geometry to computer-generated art, symmetry studies of Leonardo da Vinci, projective geometries in development of the perspective theory of Renaissance art, grids in Op art, optical geometry in the camera obscura of Giambattista della Porta, and multiple perspective in analytic cubism and futurism.
The Dutch graphic designer M. C. Escher created mathematically inspired woodcuts, lithographs, and mezzotints. These feature impossible constructions, explorations of infinity, architecture, visual paradoxes and tessellations. British constructionist artist John Ernest created reliefs and paintings inspired by group theory.[24] A number of other British artists of the constructionist and systems schools also draw on mathematics models and structures as a source of inspiration, including Anthony Hill and Peter Lowe. Computer-generated art is based on mathematical algorithms.
