I'm not interested in an in-depth answer. Here are some specific questions for which I couldn't find an answer:
- With non-standard analysis, can we solve problems that can't be solved using standard analysis?
- Do we have some results that differ from standard and non-standard fields? (E.g.: is there a function which derivative is different if calculated with the standard and the non-standard definition of derivative?)
- More importantly: is non-standard analysis just a formalism, or is it needed for practical reasons?
Simple yes/no answers are fine. Short examples are a bonus.