I'm currently studying physics and more precisely theoretical mechanics. During that course we use knowledge from calculus courses but also some manipulations that are not quite covered in this courses like virtual displacements and infinitesimal distances. I asked for some help on where I can find more information about that and was directioned into reading some noncalculus books but after some research in internet I found that in this manipulations differential geometry is also used. So my equation is for what each of them is used and also some quick but meaningful introductions into these subjects with proof.

  • $\begingroup$ I'm not certain, but I think smooth infinitesimal analysis would provide a more useful approach to infinitesimals in this case than nonstandard analysis. $\endgroup$ – Noah Schweber Mar 13 '17 at 18:15
  • $\begingroup$ Would you recommend something as a book? $\endgroup$ – Blake Mar 13 '17 at 18:38

True infinitesimal differential geometry is covered in this set of lecture notes which is a more detailed version of this research article.

Some applications to physics are dealt with, as well.

This approach to true infinitesimals is based on the traditional ZFC set-theoretic framework with background logic being classical logic. This is unlike the SIA framework mentioned in the comments, which relies on category-theoretic foundations with background logic being intuitionistic logic.

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.