Nonstandard Methods and Applications in Mathematics

Contains papers from a conference on Nonstandard Methods and Applications in Mathematics that was held in Italy. The papers address nonstandard analysis, which is one of the great achievements of modern applied mathematical logic. They focus on its philosophical achievement of providing a mathematical basis for using infinitesimals in analysis.

---

A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, the methodology is now well established as a tool for both research and teaching, and has become a fruitful field of investigation in its own right. This book is a collection of peer-reviewed papers solicited from some of the participants of this conference with the aim of providing something more timely than a textbook, but less ephemeral than a conventional proceedings. It contains both survey papers and research articles with special consideration for one, "Nonstandard analysis at pre-university level: naive magnitude analysis" in which the author discusses his experience teaching calculus through an infinitesimal approach.