От наивного бесконечно малого к аксиоматическому нестандартному анализу

Планируется обсуждения процесса эволюции от принципа исчерпывания через понятие актуального бесконечно малого количества к нестандартному анализу А. Робинсона и его современных модернизациях. Основное внимание будет уделено обоснованию понятия вещественного числа, моделированию свойств вещественных чисел в теории гиперрациональных чисел, связи этого с понятием конструктивного вещественного числа и компьютерными вычислениями.