On Classification III: Mathematics

"One expects a mathematical theorem or a mathematical theory not only to describe and to classify in a simple and elegant way numerous and a priori disparate special cases. One also expects ‘elegance’ in its ‘architectural’ structural makeup." (John von Neumann, "The Mathematician" [in "Works of the Mind" Vol. I (1), 1947])

"[…] in trying to prove a concrete geometrical result such as the classification theorem for surfaces, the purely topological structure of the surface (that it be locally euclidean) does not give us much leverage from which to start. On the other hand, although we can define algebraic invariants, such as the fundamental group, for topological spaces in general, they are not a great deal of use to us unless we can calculate them for a reasonably large collection of spaces. Both of these problems may be dealt with effectively by working with spaces that can be broken up into pieces which we can recognize, and which fit together nicely, the so called triangulable spaces." (Mark A Armstrong, "Basic Topology", 1979)

"Results which allow one to classify completely a collection of objects are among the most important and aesthetically-pleasing in mathematics. The fact that they are also rather rare adds even more to their appeal." (Mark A Armstrong, "Basic Topology", 1979)

"Human mind and culture have developed a formal system of thought for recognizing, classifying, and exploiting patterns. We call it mathematics. By using mathematics to organize and systematize our ideas about patterns, we have discovered a great secret: nature's patterns are not just there to be admired, they are vital clues to the rules that govern natural processes." (Ian Stewart, "Nature's Numbers: The unreal reality of mathematics", 1995)

"It is when unsystematic classification gives place to systematic classification that we can begin to make sense of talking of general criteria of identity not just for things that belong to kinds, but for the kinds themselves." (Peter F Strawson, "Entity and identity: And Other Essays", 1997)

"The classification theorems of mathematics are among the ultimate triumphs of human intellectual achievement. A classification theorem provides a complete list of all objects in a given category as well as a scheme for matching an unknown object from the category with exactly one of the canonical examples." (Robert Messer & Philip Straffin, "Topology Now!", 2006)

"When a mathematician faces useful notions that are too general, there is only one thing he does: classify." (Marco Manetti, "Topology", 2014)