Tom Ritchford
Jan 15, 2023

--

You can do all of standard differential and integral calculus without having to postulate infinitesimal numbers.

The proof that you can add infinitesimals to the real numbers and "everything still works" had to wait for the twentieth century and model theory and Abraham Robinson. It uses Gödel's First Completeness Theorem, which isn't actually too hard, but is not elementary.

--

--

No responses yet