Nonstandard Methods and Applications in Mathematics Lecture Notes in Logic 25

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.