||It has been suggested that this article be merged into Calculus. (Discuss) Proposed since May 2011.|
It was independently developed by Gottfried Leibniz and Isaac Newton starting in the 1660s. John Wallis exploited an infinitesimal he denoted in area calculations, preparing the ground for integral calculus. They drew on the work of such mathematicians as Isaac Barrow and René Descartes. Infinitesimal calculus consists of differential calculus and integral calculus, respectively used for the techniques of differentiation and integration.
Newton sought to remove the use of infinitesimals from his fluxional calculus, preferring to talk of velocities as in "For by the ultimate velocity is meant ... the ultimate ratio of evanescent quantities". Leibniz embraced the concept fully calling differentials "...an evanescent quantity which yet retains the character of that which is disappearing", and his notation for them is the current symbolism in calculus.
Further development 
In early calculus the use of infinitesimal quantities was unrigorous and was fiercely criticized by a number of authors, most notably Michel Rolle and Bishop Berkeley. Berkeley mocked infinitesimals in his book The Analyst in 1734. Kirsti Andersen (2011) showed that Berkeley's doctrine of the compensation of errors in The Analyst contains a logical circularity. Namely, Berkeley relies upon Apollonius's determination of the tangent of the parabola in Berkeley's determination of the derivative of the quadratic function. A recent study argues that the force of Berkeley's criticisms has been overestimated; that Leibniz's defense of infinitesimals is more firmly grounded than Berkeley's criticism thereof; and that Leibniz's system for differential calculus was free of logical contradictions. Several mathematicians, including Maclaurin and d'Alembert, attempted to prove the soundness of using limits, but it would be 150 years later, through the work of Augustin Louis Cauchy and Karl Weierstrass, where a means was finally found to avoid mere "notions" of infinitely small quantities, that the foundations of differential and integral calculus were made firm. Cauchy developed a versatile spectrum of foundational approaches, including a definition of continuity in terms of infinitesimals and a (somewhat imprecise) prototype of an (ε, δ)-definition of limit in the definition of differentiation. Weierstrass formalized the concept of limit and eliminated infinitesimals. Following the work of Weierstrass, it eventually became common to base calculus on limits instead of infinitesimal quantities.
This approach formalized by Weierstrass came to be known as the standard calculus. Informally, the expression "infinitesimal calculus" became commonly used to refer to Weierstrass' approach but has become something of a dead metaphor.
Modern infinitesimals 
After many years of the infinitesimal approach to calculus having fallen into disuse other than as an introductory pedagogical tool, use of infinitesimal quantities was finally given a rigorous foundation by Abraham Robinson in the 1960s. Robinson's approach, called non-standard analysis, uses technical machinery from mathematical logic to create a theory of hyperreal numbers that interpret infinitesimals in a manner that allows a Leibniz-like development of the usual rules of calculus.
Differential and integral calculus 
The original infinitesimal calculus, attributed to Newton and Leibniz. Differential calculus is a subfield of calculus concerned with the study of the rates at which quantities change while integral calculus is defined informally to be the area of the region in the xy-plane bounded by the graph of f, the x-axis, and the vertical lines x = a and x = b, such that areas above the axis add to the total, and the area below the x axis subtract from the total.
Standard calculus 
Standard calculus is based on the approach that Weierstrass took, replacing infinitesimals by limits. Limits describe the value of a function at a certain input in terms of its values at nearby input. They capture small-scale behavior, just like infinitesimals, but use the ordinary real number system. In this treatment, calculus is a collection of techniques for manipulating certain limits. Infinitesimals get replaced by very small numbers, and the infinitely small behavior of the function is found by taking the limiting behavior for smaller and smaller numbers. Limits are the easiest way to provide rigorous foundations for calculus, and for this reason they are the standard approach.
Non-standard calculus 
Calculations with infinitesimals were widely replaced with the (ε, δ)-definition of limit starting in the 1870s. For almost one hundred years thereafter, mathematicians like Richard Courant viewed infinitesimals as being naive and vague or meaningless.
Contrary to such views, Abraham Robinson showed[how?] in 1960 that infinitesimals are precise, clear, and meaningful, building upon work by Edwin Hewitt and Jerzy Łoś. According to Jerome Keisler, "Robinson solved a three hundred year old problem by giving a precise treatment of infinitesimals. Robinson's achievement will probably rank as one of the major mathematical advances of the twentieth century."
Smooth infinitesimal analysis 
This is a mathematically rigorous reformulation of the calculus in terms of infinitesimals. Based on the ideas of F. W. Lawvere and employing the methods of category theory, it views all functions as being continuous and incapable of being expressed in terms of discrete entities. As a theory, it is a subset of synthetic differential geometry.
- Scott, J.F. 1981. ‘’The Mathematical Work of John Wallis, D.D., F.R.S. (1616–1703)’’. Chelsea Publishing Co. New York, NY. p. 18.
- Katz, Mikhail; Sherry, David (2012), "Leibniz’s Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond", Erkenntnis, arXiv:1205.0174, doi:10.1007/s10670-012-9370-y
- Katz, Mikhail; Tall, David (2011), Tension between Intuitive Infinitesimals and Formal Mathematical Analysis, Bharath Sriraman, Editor. Crossroads in the History of Mathematics and Mathematics Education. The Montana Mathematics Enthusiast Monographs in Mathematics Education 12, Information Age Publishing, Inc., Charlotte, NC, arXiv:1110.5747
- Courant described infinitesimals on page 81 of Differential and Integral Calculus, Vol I, as "devoid of any clear meaning" and "naive befogging". Similarly on page 101, Courant described them as "incompatible with the clarity of ideas demanded in mathematics", "entirely meaningless", "fog which hung round the foundations", and a "hazy idea".
- Elementary Calculus: An Infinitesimal Approach
- Andersen, Kirsti (2011). "One of Berkeley's arguments on compensating errors in the calculus". Historia Mathematica 38 (2): 219–231. doi:10.1016/j.hm.2010.07.001.
- Baron, Margaret E.: The origins of the infinitesimal calculus. Dover Publications, Inc., New York, 1987.
- Baron, Margaret E.: The origins of the infinitesimal calculus. Pergamon Press, Oxford-Edinburgh-New York 1969. (A new edition of Baron's book appeared in 2004)
- Hazewinkel, Michiel, ed. (2001), "Infinitesimal calculus", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Lavendhomme, R.: Basic concepts of synthetic differential geometry, Kluwer, Dordrecht, 1996
- O'Connor, Michael: An Introduction to Smooth Infinitesimal Analysis