[...] as a rough-and-ready indication of what we mean by a "type," we may say that individuals, classes of individuals, relations between individuals, relations between classes, relations of classes to individuals, and so on, are different types.
Bertrand Russell: Introduction to Mathematical Philosophy
We want our numbers not merely to verify mathematical formulæ, but to apply in the right way to common objects. We want to have ten fingers and two eyes and one nose.
Bertrand Russell: Introduction to Mathematical Philosophy
We corrected a few anomalies in
before analyzing it. For example, we removed the author that MR identified as "et al.", who was on the author list of a number of papers, including one with no coauthors!
Grossman, J. W. The Evolution of the Mathematical Research Collaboration Graph.
Fun thing about correcting homework from a diverse crowd: You get to learn many names for the pq formula, the quadratic formula, the abc formula and all their friends.
Once you found the math in a thing, you knew everything about it, and you could manipulate it to your heart's content with nothing more than a pencil and a napkin.
