Misplaced Pages

Arithmetization of analysis

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Arithmetization)
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (January 2015) (Learn how and when to remove this message)

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.

History

Kronecker originally introduced the term arithmetization of analysis, by which he meant its constructivization in the context of the natural numbers (see quotation at bottom of page). The meaning of the term later shifted to signify the set-theoretic construction of the real line. Its main proponent was Weierstrass, who argued the geometric foundations of calculus were not solid enough for rigorous work.

Research program

The highlights of this research program are:

Legacy

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:

Quotation

  • "God created the natural numbers, all else is the work of man." — Kronecker

References

  • Torina Dechaune Lewis (2006) The Arithmetization of Analysis: From Eudoxus to Dedekind, Southern University.
  • Carl B. Boyer, Uta C. Merzbach (2011) A History of Mathematics John Wiley & Sons.
  • Arithmetization of analysis at Encyclopedia of Mathematics.
  • James Pierpont (1899) "On the arithmetization of mathematics", Bull. Amer. Math. Soc. 5(8): 394–406.
Categories: