Project "The Unreasonable Effectiveness of Nonstandard Analysis" funded by LMU's Junior Research Fund
The aim of Sam Sanders' project is to develop algorithms for the extraction of numerical information from proofs in the infinitesimal calculus (as formalized in Robinson and Nelson’s Nonstandard Analysis).
The foundational and philosophical implications of these results will be studied, and a useful byproduct will be the implementation of the algorithms (e.g. in MINLOG) and their application to fields where Nonstandard Analysis has been used as a foundation, including vagueness, fuzzy set theory, and optimization and control.
For the academic year 2015-2016, LMU supports this project via the Junior Research fund with 50k euro, towards the application of the associated ERC-starting grant.