Нестандартный анализ
Нестандартный анализ — альтернативный подход к обоснованию и построению математического анализа, в котором бесконечно малые — не переменные величины, а особый вид чисел. В нестандартном анализе на современной основе реализуется восходящая к Лейбницу и его последователям идея о существовании бесконечно малых величин, отличных от нуля, — идея, которая в историческом развитии математического анализа была заменена понятием предела переменной величины. Недоверие к актуальным бесконечным величинам в математике объяснялось трудностями их формального обоснования. Любопытно, что представления об актуальных бесконечно больших и бесконечно малых величинах сохранялись в учебниках физики и других естественных наук, где часто встречаются фразы вроде «пусть — (бесконечно малый) элемент объёма…»[1].
Концепция Лейбница была реабилитирована, когда появилось первое современное изложение инфинитезимальных методов, которое дал Абрахам Робинсон в 1961 году. В отличие от традиционного анализа, опирающегося на вещественные и комплексные числа, нестандартный анализ имеет дело с более широким полем гипервещественных чисел, в котором не выполняется аксиома Архимеда[2].
Нестандартный анализ возник как раздел математической логики, посвящённый приложению теории нестандартных моделей к исследованиям в традиционных областях математики: математическом анализе, теории функций, теории дифференциальных уравнений, топологии и др.
Курт Гёдель писал в 1973 году: «Есть веские основания считать, что нестандартный анализ, в той или иной форме, станет анализом будущего»[3].