The ring of Fermat reals |
| |
Authors: | Paolo Giordano |
| |
Institution: | Università della Svizzera italiana, Lugano, Switzerland |
| |
Abstract: | We give the definition of the ring of Fermat reals, a simple extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from smooth infinitesimal analysis, but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular it is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the characterization of invertible elements and some applications to Taylor's formulas. |
| |
Keywords: | Actual infinitesimals Nilpotent infinitesimals Smooth infinitesimal analysis Extension of the real field |
本文献已被 ScienceDirect 等数据库收录! |
|