CodalSearch this book — or all of Codal…⌘K
nydus/The Philosophy of MathematicsPublic
Page 54 of 127
Table of Contents

CHAPTER III.

After these considerations upon the principal general conceptions, we need not stop to examine some other theories proposed, such as Euler's Calculus of Vanishing Quantities, which are really modifications—more or less important, and, moreover, no longer used—of the preceding methods.

I have now to establish the comparison and the appreciation of these three fundamental methods. Their perfect and necessary conformity is first to be proven in a general manner.

FUNDAMENTAL IDENTITY OF THE THREE METHODS.

It is, in the first place, evident from what precedes, considering these three methods as to their actual destination, independently of their preliminary ideas, that they all consist in the same general logical artifice, which has been characterized in the first chapter; to wit, the introduction of a certain system of auxiliary magnitudes, having uniform relations to those which are the special objects of the inquiry, and substituted for them expressly to facilitate the analytical expression of the mathematical laws of the phenomena, although they have finally to be eliminated by the aid of a special calculus. It is this which has determined me to regularly define the transcendental analysis as the calculus of indirect functions, in order to mark its true philosophical character, at the same time avoiding any discussion upon the best manner of conceiving and applying it. The general effect of this analysis, whatever the method employed, is, then, to bring every mathematical question much more promptly within the power of the calculus, and thus to diminish considerably the serious difficulty which is usually presented by the passage from the concrete to the abstract. Whatever progress we may make, we can never hope that the calculus will ever be able to grasp every question of natural philosophy, geometrical, or mechanical, or thermological, &c., immediately upon its birth, which would evidently involve a contradiction. Every problem will constantly require a certain preliminary labour to be performed, in which the calculus can be of no assistance, and which, by its nature, cannot be subjected to abstract and invariable rules; it is that which has for its special object the establishment of equations, which form the indispensable starting point of all analytical researches. But this preliminary labour has been remarkably simplified by the creation of the transcendental analysis, which has thus hastened the moment at which the solution admits of the uniform and precise application of general and abstract methods; by reducing, in each case, this special labour to the investigation of equations between the auxiliary magnitudes; from which the calculus then leads to equations directly referring to the proposed magnitudes, which, before this admirable conception, it had been necessary to establish directly and separately. Whether these indirect equations are differential equations, according to the idea of Leibnitz, or equations of limits, conformably to the conception of Newton, or, lastly, derived equations, according to the theory of Lagrange, the general procedure is evidently always the same.

But the coincidence of these three principal methods is not limited to the common effect which they produce; it exists, besides, in the very manner of obtaining it. In fact, not only do all three consider, in the place of the primitive magnitudes, certain auxiliary ones, but, still farther, the quantities thus introduced as subsidiary are exactly identical in the three methods, which consequently differ only in the manner of viewing them. This can be easily shown by taking for the general term of comparison any one of the three conceptions, especially that of Lagrange, which is the most suitable to serve as a type, as being the freest from foreign considerations. Is it not evident, by the very definition of derived functions , that they are nothing else than what Leibnitz calls differential coefficients , or the ratios of the differential of each function to that of the corresponding variable, since, in determining the first differential, we will be obliged, by the very nature of the infinitesimal method, to limit ourselves to taking the only term of the increment of the function which

54