"It is easy to see at first glance that the rule of the differential calculus which consists in equating to zero the differential of the expression of which one seeks a maximum or a minimum, obtained by letting the unknown of that expression vary, gives the same result, because it is the same fundamentally and the terms one neglects as infinitely small in the differential calculus are those which are suppressed as zeroes in the procedure of Fermat. His method of tangents depends on the same principle. In the equation involving the abscissa and ordinate which he calls the specific property of the curve, he augments or diminishes the abscissa by an indeterminate quantity and he regards the new ordinate as belonging both to the curve and to the tangent; this furnishes him with an equation which he treats as that for a case of a maximum or a minimum." (Joseph-Louis Lagrange, "Leçons sur le calcul des fonctions", 1806)
"What should one understand by ∫ ϕx · dx for x = a + bi? Obviously, if we want to start from clear concepts, we have to assume that x passes from the value for which the integral has to be 0 to x = a + bi through infinitely small increments (each of the form x = a + bi), and then to sum all the ϕx · dx. Thereby the meaning is completely determined. However, the passage can take placein infinitely many ways: Just like the realm of all real magnitudes can be conceived as an infinite straight line, so can the realm of all magnitudes, real and imaginary, be made meaningful by an infinite plane, in which every point, determined by abscissa = a and ordinate = b, represents the quantity a+bi. The continuous passage from one value of x to another a+bi then happens along a curve and is therefore possible in infinitely many ways. I claim now that after two different passages the integral ∫ ϕx · dx acquires the same value when ϕx never becomes equal to ∞ in the region enclosed by the two curves representing the two passages." (Carl F Gauss, [letter to Bessel] 1811)
"This great geometrician expresses by the character E the increment of the abscissa; and considering only the first power of this increment, he determines exactly as we do by differential calculus the subtangents of the curves, their points of inflection, the maxima and minima of their ordinates, and in general those of rational functions. We see likewise by his beautiful solution of the problem of the refraction of light inserted in the Collection of the Letters of Descartes that he knows how to extend his methods to irrational functions in freeing them from irrationalities by the elevation of the roots to powers. Fermat should be regarded, then, as the true discoverer of Differential Calculus. Newton has since rendered this calculus more analytical in his Method of Fluxions, and simplified and generalized the processes by his beautiful theorem of the binomial. Finally, about the same time Leibnitz has enriched differential calculus by a notation which, by indicating the passage from the finite to the infinitely small, adds to the advantage of expressing the general results of calculus, that of giving the first approximate values of the differences and of the sums of the quantities; this notation is adapted of itself to the calculus of partial differentials." (Pierre-Simon Laplace, "Essai philosophique sur le calcul des probabilities", 1812)
"[…] a function of the variable x will be continuous between two limits a and b of this variable if between two limits the function has always a value which is unique and finite, in such a way that an infinitely small increment of this variable always produces an infinnitely small increment of the function itself." (Augustin-Louis Cauchy, "Mémoire sur les fonctions continues" ["Memoir on continuous functions"], 1844)
"If they [mathematicians] find a quantity greater than any finite number of the assumed units, they call it infinitely great; if they find one so small that its every finite multiple is smaller than the unit, they call it infinitely small; nor do they recognise any other kind of infinitude than these two, together with the quantities derived from them as being infinite to a higher order of greatness or smallness, and thus based after all on the same idea." (Bernard Bolzano, "Paradoxien des Unedlichen" ["Paradoxes of the Infinite"], 1851)
"As professor in the Polytechnic School [autumn of 1858] in Zurich I found myself for the first time obliged to lecture upon the elements of the differential calculus and felt, more keenly than ever before, the lack of a really scientific foundation for arithmetic. In discussing the notion of the approach of a variable magnitude to a fixed limiting value, and especially in proving the theorem that every magnitude which grows continually, but not beyond all limits, must certainly approach a limiting value, I had recourse to geometric evidences. Even now such resort to geometric intuition in a first presentation of the differential calculus, I regard as exceedingly useful, from the didactic standpoint, and indeed indispensable, if one does not wish to lose too much time. But that this form of introduction into the differential calculus can make no claim to being scientific, no one will deny. For myself this feeling of dissatisfaction was so overpowering that I made the fixed resolve to keep meditating on the question till I should find a purely arithmetic and perfectly rigorous foundation for the principles of infinitesimal analysis." (Richard Dedekind," Stetigkeit und irrationale Zahlen", 1872)
"The statement is so frequently made that the differential calculus deals with continuous magnitude, and yet an explanation of this continuity is nowhere given; even the most rigorous expositions of the differential calculus do not base their proofs upon continuity but, with more or less consciousness of the fact, they either appeal to geometric notions or those suggested by geometry, or depend upon theorems which are never established in a purely arithmetic manner. Among these, for example, belongs the above mentioned theorem, and a more careful investigation convinced me that this theorem, or any one equivalent to it, can be regarded in some way as a sufficient basis for infinitesimal analysis. It then only remained to discover its true origin in the elements of arithmetic and thus at the same time to secure a real definition of the essence of continuity. I succeeded Nov. 24, 1858." (Richard Dedekind," Stetigkeit und irrationale Zahlen", 1872)
No comments:
Post a Comment