
First, consider the axioms of arithmetic, together with the following infinite set of sentences (expressible in predicate logic) that say “ι is an infinitesimal”: This theorem may be used to construct infinitesimals as follows. All of mathematics can be expressed in predicate logic, and Gödel showed that this logic has the following remarkable property:Ī set Σ of sentences has a model if any finite subset of Σ has a model. One way to do this is to use a theorem about predicate logic proved by Kurt Gödel in 1930. This does not prevent other mathematical objects from behaving like infinitesimals, and mathematical logicians of the 1920s and ’30s actually showed how such objects could be constructed. Hence, infinitesimals do not exist among the real numbers. As a logical consequence of this definition, it follows that there is a rational number between zero and any nonzero number. If there exists a greatest element of one set or a least element of the other set, then the cut defines a rational number otherwise the cut defines an irrational number. The status of infinitesimals decreased further as a result of Richard Dedekind’s definition of real numbers as “cuts.” A cut splits the real number line into two sets. In fact, it was the unease of mathematicians with such a nebulous idea that led them to develop the concept of the limit.

In essence, Newton treated an infinitesimal as a positive number that was smaller, somehow, than any positive real number.
#Newton and infinitesimals how to
Before the concept of a limit had been formally introduced and understood, it was not clear how to explain why calculus worked. Infinitesimals were introduced by Isaac Newton as a means of “explaining” his procedures in calculus.

Britannica Explains In these videos, Britannica explains a variety of topics and answers frequently asked questions.

