MATER MATUTA (connected with Lat. mane, matutinus, “morning”), an old Italian goddess of dawn. The idea of light being closely connected with childbirth, whereby the infant is brought into the light of the world, she came to be regarded as a double of Juno, and was identified by the Greeks with Eilithyia. Matuta had a temple in Rome in the Forum Boarium, where the festival of Matralia was celebrated on the 11th of June. Only married women were admitted, and none who had been married more than once were allowed to crown her image with garlands. Under hellenizing influences, she became a goddess of sea and harbours, the Ino-Leucothea of the Greeks. In this connexion it is noticeable that, as Ino tended her nephew Dionysus, so at the Matralia the participants prayed for the welfare of their nephews and nieces before that of their own children. The transformation was complete in 174 B.C., when Tiberius Sempronius Gracchus, after the conquest of Sardinia, placed in the temple of Matuta a map commemorative of the campaign, containing a plan of the island and the various engagements. The progress of navigation and the association of divinities of the sky with maritime affairs probably also assisted to bring about the change, although the memory of her earlier function as a goddess of childbirth survived till imperial times.
Ovid, Fasti, vi. 475; Livy xli. 28; Plutarch, Quaestiones romanae, 16, 17.
MATHEMATICS (Gr. μαθηματική, sc. τέχνη or ἐπιστήμη; from μάθημα, “learning” or “science”), the general term for the various applications of mathematical thought, the traditional field of which is number and quantity. It has been usual to define mathematics as “the science of discrete and continuous magnitude.” Even Leibnitz,[1] who initiated a more modern point of view, follows the tradition in thus confining the scope of mathematics properly so called, while apparently conceiving it as a department of a yet wider science of reasoning. A short consideration of some leading topics of the science will exemplify both the plausibility and inadequacy of the above definition. Arithmetic, algebra, and the infinitesimal calculus, are sciences directly concerned with integral numbers, rational (or fractional) numbers, and real numbers generally, which include incommensurable numbers. It would seem that “the general theory of discrete and continuous quantity” is the exact description of the topics of these sciences. Furthermore, can we not complete the circle of the mathematical sciences by adding geometry? Now geometry deals with points, lines, planes and cubic contents. Of these all except points are quantities: lines involve lengths, planes involve areas, and cubic contents involve volumes. Also, as the Cartesian geometry shows, all the relations between points are expressible in terms of geometric quantities. Accordingly, at first sight it seems reasonable to define geometry in some such way as “the science of dimensional quantity.” Thus every subdivision of mathematical science would appear to deal with quantity, and the definition of mathematics as “the science of quantity” would appear to be justified. We have now to consider the reasons for rejecting this definition as inadequate.
Types of Critical Questions.—What are numbers? We can talk of five apples and ten pears. But what are “five” and “ten” apart from the apples and pears? Also in addition to the cardinal numbers there are the ordinal numbers: the fifth apple and the tenth pear claim thought. What is the relation of “the fifth” and “the tenth” to “five” and “ten”? “The first rose of summer” and “the last rose of summer” are parallel phrases, yet one explicitly introduces an ordinal number and the other does not. Again, “half a foot” and “half a pound” are easily defined. But in what sense is there “a half,” which is the same for “half a foot” as “half a pound”? Furthermore, incommensurable numbers are defined as the limits arrived at as the result of certain procedures with rational numbers. But how do we know that there is anything to reach? We must know that √2 exists before we can prove that any procedure will reach it. An expedition to the North Pole has nothing to reach unless the earth rotates.
Also in geometry, what is a point? The straightness of a straight line and the planeness of a plane require consideration. Furthermore, “congruence” is a difficulty. For when a triangle “moves,” the points do not move with it. So what is it that keeps unaltered in the moving triangle? Thus the whole method of measurement in geometry as described in the elementary textbooks and the older treatises is obscure to the last degree. Lastly, what are “dimensions”? All these topics require thorough discussion before we can rest content with the definition of mathematics as the general science of magnitude; and by the time they are discussed the definition has evaporated. An outline of the modern answers to questions such as the above will now be given. A critical defence of them would require a volume.[2]
Cardinal Numbers.—A one-one relation between the members of two classes α and β is any method of correlating all the members of α to all the members of β, so that any member of α has one and only one correlate in β, and any member of β has one and only one correlate in α. Two classes between which a one-one relation exists have the same cardinal number and are called cardinally similar; and the cardinal number of the class α is a certain class whose members are themselves classes—namely, it is the class composed of all those classes for which a one-one correlation with α exists. Thus the cardinal number of α is itself a class, and furthermore α is a member of it. For a one-one relation can be established between the members of α and α by the simple process of correlating each member of α with itself. Thus the cardinal number one is the class of unit classes, the cardinal number two is the class of doublets, and so on. Also a unit class is any class with the property that it possesses a member x such that, if y is any member of the class, then x and y are identical. A doublet is any class which possesses a member x such that the modified class formed by all the other members except x is a unit class. And so on for all the finite cardinals, which are thus defined successively. The cardinal number zero is the class of classes with no members; but there is only one such class, namely—the null class. Thus this cardinal number has only one member. The operations of addition and multiplication of two given cardinal numbers can be defined by taking two classes α and β, satisfying the conditions (1) that their cardinal numbers are respectively the given numbers, and (2) that they contain no member in common, and then by defining by reference to α and β two other suitable classes whose cardinal numbers are defined to be respectively the required sum and product of the cardinal numbers in question. We need not here consider the details of this process.
With these definitions it is now possible to prove the following six premisses applying to finite cardinal numbers, from which Peano[3] has shown that all arithmetic can be deduced:—
i. Cardinal numbers form a class.