Нестандартный анализ: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Крестовый поход за нейтральность
Нет описания правки
Строка 3:
'''Нестандартный анализ''' — возник как раздел [[математическая логика|математической логики]], посвященный приложению [[теория моделей|теории нестандартных моделей]] к исследованиям в традиционных областях математики: [[математический анализ|математическом анализе]], [[Теория аналитических функций|теории функций]], [[теория дифференциальных уравнений|теории дифференциальных уравнений]], [[топология|топологии]] и др.
 
В нестандартном анализе на современной основе реализуется восходящая к древним идея [[Лейбниц, Готфрид Вильгельм|Лейбница]] и его последователей о существовании [[бесконечно малое|бесконечно малых]] величин, отличных от нуля, — идея, которая в историческом развитии математического анализа была заменена понятием предела переменной величины в середине [[XIX век]]а.
Недоверие к актуальным бесконечным величинам в математике нарастало в связи с трудностями их формального обоснования.
В рамках теоретико-множественной концепции в начале [[XX век]]а сложилось довольно догматическое суждение о принципиальной невозможности реабилитации актуальных бесконечно малых и больших величин и с середины тридцатых до начала шестидесятых годов XX века актуально бесконечные величины в математике были запрещены как некорректные, а понятие предела было объявлено единственным инструментом строгого обоснования анализа. Любопытно, что представления об актуальных бесконечно больших и бесконечно малых величинах сохранялись в физике и других разделах естествознания, невзирая на произвольные математические запреты. Последние просуществовали недолго и были парадоксальным образом разрушены, когда появилось первое современное изложение инфинитезимальных методов, которое дал [[Абрахам Робинсон]] ([[1961]]), причём именно в рамках ставшей уже классической теоретико-множественной установки.