3 ms·
Yes, it's basically dual numbers (or power series -- when considering inverses of infinitesimals, you get Laurent series) with different terminology.
by fdej 12y ago
Yes, it's basically dual numbers (or power series -- when considering inverses of infinitesimals, you get Laurent series) with different terminology.
- 4ad 12y agoVery similar in spirit, but still different in the details. Dual numbers use nilpotent infinitesimals (which are not invertible), while non-standard (Robinson) infinitesimals are not nilpotent and are invertible. That being said it's way easier to construct nilpotent infinitesimals using intuitionistic logic than it is to construct the hyperreals using classical logic.