HKB

← back

The philosophy of mathematics

Auguste Comte · 1851

passage 25 of 126 · BOOK I. > CHAPTER I. (5/11)

with the caution to take these two expressions in their most extended logical acceptation, in the place of the by far too restricted meaning which is usually attached to them.

The complete solution of every question of the calculus, from the most elementary up to the most transcendental, is necessarily composed of two successive parts, whose nature is essentially distinct. In the first, the object is to transform the proposed equations, so as to make apparent the manner in which the unknown quantities are formed by the known ones: it is this which constitutes the algebraic question. In the second, our object is to find the values of the formulas thus obtained; that is, to determine directly the values of the numbers sought, which are already represented by certain explicit functions of given numbers: this is the arithmetical question.[4] It is apparent that, in every solution which is truly rational, it necessarily follows the algebraical question, of which it forms the indispensable complement, since it is evidently necessary to know the mode of generation of the numbers sought for before determining their actual values for each particular case. Thus the stopping-place of the algebraic part of the solution becomes the starting point of the arithmetical part.

[Footnote 4: Suppose, for example, that a question gives the following equation between an unknown magnitude x, and two known magnitudes, a and b,

+ 3ax = 2b,

as is the case in the problem of the trisection of an angle. We see at once that the dependence between x on the one side, and ab on the other, is completely determined; but, so long as the equation preserves its primitive form, we do not at all perceive in what manner the unknown quantity is derived from the data. This must be discovered, however, before we can think of determining its value. Such is the object of the algebraic part of the solution. When, by a series of transformations which have successively rendered that derivation more and more apparent, we have arrived at presenting the proposed equation under the form

x = ∛(b + √( + )) + ∛(b - √( + )),

the work of algebra is finished; and even if we could not perform the arithmetical operations indicated by that formula, we would nevertheless have obtained a knowledge very real, and often very important. The work of arithmetic will now consist in taking that formula for its starting point, and finding the number x when the values of the numbers a and b are given.]

We thus see that the algebraic calculus and the arithmetical calculus differ essentially in their object. They differ no less in the point of view under which they regard quantities; which are considered in the first as to their relations, and in the second as to their values. The true spirit of the calculus, in general, requires this distinction to be maintained with the most severe exactitude, and the line of demarcation between the two periods of the solution to be rendered as clear and distinct as the proposed question permits. The attentive observation of this precept, which is too much neglected, may be of much assistance, in each particular question, in directing the efforts of our mind, at any moment of the solution, towards the real corresponding difficulty. In truth, the imperfection of the science of the calculus obliges us very often (as will be explained in the next chapter) to intermingle algebraic and arithmetical considerations in the solution of the same question. But, however impossible it may be to separate clearly the two parts of the labour, yet the preceding indications will always enable us to avoid confounding them.

← previous passage read in the full work → next passage →
The philosophy of mathematics · Auguste Comte · 1851