The arithmetization of analysis was a research program in the foundations of mathematics carried out in the second half of the 19th century. Its main proponent was Weierstrass, who argued the geometric foundations of calculus were not solid enough for rigorous work.
The highlights of this research program are:
An important spinoff of the arithmetization of analysis is set theory. Naive set theory was created by Cantor and others after arithmetization was completed as a way to study the singularities of functions appearing in calculus.
The arithmetization of analysis had several important consequences:
Quotations:
