Models for inconsistent and incomplete differential calculus
By fixing an infinitesimal nonstandard real number, a subquotient ring of the nonstandard reals is constructed, which has an ample supply of nilpotent elements. This leads to an equational treatment of Taylor polynomials for real functions (meaning here really only polynomial functions!). It is not clear to the reviewer why a three-valued ``inconsistent background logic has to be quoted for this particular aspect. A comparison is made with the approach of synthetic differential geometry (SDG) [as in, say, the reviewer's book ``Synthetic differential geometry (1981; Zbl 0466.51008)], where there is also an ample supply of nilpotent numbers. In SDG, the background logic is also nonclassical, but derives from the semantics (sheaf semantics), and as such has an objective character. An important mathematical difference is further that in SDG, a product of two first order infinitesimals need not be 0, allowing for the consideration of ``independent infinitesimals.
- Models for the Displacement Calculus
- scientific article; zbMATH DE number 3843977 (Why is no real title available?)
- scientific article; zbMATH DE number 1293632 (Why is no real title available?)
- scientific article; zbMATH DE number 1795217 (Why is no real title available?)
- Differential Calculus and Nilpotent Real Numbers
- Real analysis in paraconsistent logic
This page was built for publication: Models for inconsistent and incomplete differential calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1813232)
