I will describe Robinson's construction of the hyperreals using the machinery of ultrapowers from mathematical logic. Infinitesimals were introduced by Isaac Newton as a means of explaining his procedures in calculus. Infinitesimals are merely the (non-standard) objects whose standard approximation is 0.In other words: Form the set (x) of all formulae 0 < x & x < 1/n for every (standard) natural numbers n. In a remarkable triumph of formal mathematics, in the 1960s Abraham Robinson showed that the modern techniques of mathematical logic could be use to construct a rigorous framework in which infinitesimal and infinite quantities can be treated in a precise way, justifying Leibniz's and Newton's intuition 260 years later. Definition of infinitesimals in Robinsons non-standard analysis. This led mathematicians and philosophers to reject infinitesimals as "ghosts of departed quantities." About 150 years after Leibniz and Newton, Cauchy and Weierstrass developed a precise foundation for calculus which completely avoided infinitesimals. The debate about infinitesimals rumbled on for centuries after they were used by Leibniz. Robinson's modern infinitesimal approach puts the intuitive ideas of the founders of the calculus on a mathematically sound footing, and is easier for beginners to understand than the more common approach via limits. The hyperreals, or nonstandard reals, R, are an extension of the real numbers R that contains numbers greater than anything of the form + + + (for any finite number of terms). This is a calculus textbook at the college Freshman level based on Abraham Robinson's infinitesimals, which date from 1960. One reason for this was that an infinitesimal quantity dx is often treated as being equal to zero, while at the same time one often divides by it in calculating derivatives dy/dx. In mathematics, the system of hyperreal numbers is a way of treating infinite and infinitesimal (infinitely small but non-zero) quantities. After first illustrating its very basic uses in calculus in. A non- commutative version of infinitesimals, due to Alain Connes, has been in use since the 1990s. However, its roots go back to Robinsons formal- ization of the infinitesimal approach to calculus. At this time many mathematicians viewed infinitesimals as problematic. Abraham Robinsons infinitesimals date from the 1960s. Leibniz and Newton made caviler use of infinitesimals in their writings on calculus in the 1600s. This is a calculus textbook at the college Freshman level based on Abraham Robinsons infinitesimals, which date from 1960. Hyperreals: Constructing Infinitesimals and InfinitiesĪbstract. First, in the 1960s Abraham Robinson, using methods of mathematical logic, created nonstandard analysis, an extension of mathematical analysis embracing both infinitely large and infinitesimal numbers in which the usual laws of the arithmetic of real numbers continue to hold, an idea which, in essence, goes back to Leibniz.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |