Two Forms of Mathematical Beauty
quantamagazine.org
Two Forms of Mathematical Beauty
1–10 of 21 posts
Re: Two Forms of Mathematical Beauty
#2I think most mathematical facts described as beautiful fall into one of the two categories of “consequences of definitions” and “shocking connections”. The first happens when the structure of your terms is lined up in just the right way as to make a proof feel automatic and clear, every piece follows right from the previous one in a natural way. The second one is rarer imo, and is enjoyable almost in the same way a clever punchline is. A series of facts are setup, and then your viewpoint is suddenly shifted forcing you to recontextualize those facts and see something new. A lot of “elegant” proofs are of this flavor.
Re: Two Forms of Mathematical Beauty
#3Reminds me of Russell's quote - “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.”
Re: Two Forms of Mathematical Beauty
#4Reminds me of Russell's quote - “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.”
Mathematics, at its core, is about tangible and easily perceptible stuff like counting things and measuring space. Through the introduction of layers of notational and conceptual abstractions, many dependencies can be discovered and many claims can be made. They are just "there", but we are seeing them through the lens of our own man-made abstractions.
Re: Two Forms of Mathematical Beauty
#5Eh.
There's two kinds of mathematical beauty (maybe more, I'm making this up): concepts and proofs.
The other day I saw a proof of the minimax principle (about eigenvalues maximizing the Rayleigh coefficient) that used a variational problem over eigenfunctions. This is fairly "ugly" mathematics conceptwise, and there are simpler standard proofs, but this one made the top of my head pop out like that emoji. It explains why Rayleigh coefficients have that name, and links practical statistics/ML concerns (low-rank matrix approximation) to light and refraction.
Re: Two Forms of Mathematical Beauty
#6Reminds me of Russell's quote - “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.”
Mathematics, at its core, is about tangible and easily perceptible stuff like counting things and measuring space. Through the introduction of layers of notational and conceptual abstractions, many dependencies can be discovered and many claims can be made. They are just "there", but we are seeing them through the lens of our own man-made abstractions.
> Mathematics, at its core, is about tangible and easily perceptible stuff like counting things and measuring space.
I think that it depends on what you mean by 'core'. This is certainly the historical core of mathematics—where things started, and so around which all later developments have accreted—and I suspect it characterises a large part of most 'users'' interactions with mathematics, but I think that there are many mathematicians who would not describe your characterisation as the core of what they do professionally.
(It happens that I can't substantiate that even by a flimsy appeal to my own work, because there is a reasonable sense in which counting things is at the heart of my work (even though it's not combinatorics); but there are other fields that I think don't have that sort of connection informing their everyday work, even though it is of course always there historically.)
Re: Two Forms of Mathematical Beauty
#7Eh. There's two kinds of mathematical beauty (maybe more, I'm making this up): concepts and proofs. The other day I saw a proof of the minimax principle (about eigenvalues maximizing the Rayleigh coefficient) that used a variational problem over eigenfunctions. This is fairly "ugly" mathematics conceptwise, and there are simpler standard proofs, but this one made the top of my head pop out like that emoji. It explain…
Surely that entire comment would be improved by deleting the pointless "Eh." at the beginning?
Re: Two Forms of Mathematical Beauty
#8Earlier quoted context omitted.
Mathematics, at its core, is about tangible and easily perceptible stuff like counting things and measuring space. Through the introduction of layers of notational and conceptual abstractions, many dependencies can be discovered and many claims can be made. They are just "there", but we are seeing them through the lens of our own man-made abstractions.
> Mathematics, at its core, is about tangible and easily perceptible stuff like counting things and measuring space. I think that it depends on what you mean by 'core'. This is certainly the historical core of mathematics—where things started, and so around which all later developments have accreted—and I suspect it characterises a large part of most 'users'' interactions with mathematics, but I think that there are…
> but I think that there are many mathematicians who would not describe your characterisation as the core of what they do professionally.
Those mathematicians are certainly doing something much more intellectually-challenging than counting things and measuring space, but I would argue that those basic activities represent the basic problems upon which most of the low-level math abstractions are built. "Serious" math is about operating at much higher abstraction levels, but it is not disconnected from those low-level foundations.
Re: Two Forms of Mathematical Beauty
#9It's all beautiful if you know how to look. Fully explaining a blade of grass to its core would have more engineering, biological, physical, and mathematical knowledge than all of mankind's best web startups, businesses, and intellectual efforts combined.
The beautiful irony of the once popular "god of the gaps" argument is that the gaps are continuing to widen toward infinitude each passing day. Each passing day we discover that "knowing" one thing reveals 9 more things we do not. How arrogant it would be to miss the awe-inspiring beauty, consistency, and self-sustaining processes that are everywhere, from mathematics to the physical and beyond.
Re: Two Forms of Mathematical Beauty
#10Eh. There's two kinds of mathematical beauty (maybe more, I'm making this up): concepts and proofs. The other day I saw a proof of the minimax principle (about eigenvalues maximizing the Rayleigh coefficient) that used a variational problem over eigenfunctions. This is fairly "ugly" mathematics conceptwise, and there are simpler standard proofs, but this one made the top of my head pop out like that emoji. It explain…
Surely that entire comment would be improved by deleting the pointless "Eh." at the beginning?
That entire comment would be improved by deleting the pointless "Surely" at the beginning?