 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (January 2015) |
The arithmetization of analysis was a research program in the foundations of mathematics carried out in the second half of the 19th century which aimed to abolish all geometric intuition from the proofs in analysis. For the followers of this program, the fundamental concepts of calculus should also not make references to the ideas of motion and velocity. This ideal was pursued by Augustin-Louis Cauchy, Bernard Bolzano, Karl Weierstrass, among others, who considered that Isaac Newton's calculus lacked rigor.