ISSN печатной версии 1683-3414   •   ISSN он-лайн версии 1814-0807
     
 

Контакты

Адрес: Россия, 362027, Владикавказ,
ул. Маркуса, д. 22
Тел.: (8672)50-18-06
E-mail: rio@smath.ru

 

 

 

џндекс.Њетрика

DOI: 10.23671/VNC.2019.21.44619

Некоторые замечания о нестандартных методах анализа. I

Гордон Е. И.
Владикавказский математический журнал. 2019. Том 21. Выпуск 4.С.25-41.
Аннотация:
В этой и последующей статьях обсуждаются два наиболее известных нестандартных метода математического анaлиза - инфинитезимальный анализ А. Робинсона и булевозначный анализ, затрагивается история их возникновения, общие черты и различия, приложения и перспективы. В этой статье содержится обзор инфинитизимального анализа и метода вынуждения. Изложение рассчитано на читателя знакомого лишь с самыми начальными понятиями математической логики - языком логики предикатов 1-го порядка и его интерпретациями. Желательно иметь также некоторое представление о формальных доказательствах и аксиоматике теории множеств Цермело - Френкеля. При изложении инфинитезимального анализа особое внимание уделяется формализации предложений обычной математики в языке первого порядка для суперструктуры. Изложение метода форсинга предваряется кратким обзором результата К. Геделя о совместимости аксиомы выбора и гипотезы континуума с аксиоматикой Цермело - Френкеля. Следующая статья будет посвящена, булевозначным моделям и булевозначному анализу. Особое внимание будет уделено истории их возникновения.
Ключевые слова: булевозначный анализ, нестандартный анализ, метод вынуждения.
Язык статьи: Английский Загрузить полный текст  
Образец цитирования: Gordon E. I. Some Remarks about Nonstandard Methods in Analysis. I //  Владикавк. мат. журн. 2019. Т. 21, №4. С. 25-41 (in English). DOI 10.23671/VNC.2019.21.44619
+ Список литературы


← Содержание выпуска
 
  | Главная | Редколлегия | Публикационная этика | Рецензирование | Свежий номер | Архив | Правила для авторов |  
© 1999-2020 Южный математический институт