Владикавказский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Владикавк. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Владикавказский математический журнал, 2018, том 20, номер 2, страницы 69–79
DOI: https://doi.org/10.23671/VNC.2018.2.14723
(Mi vmj655)
 

Invitation to Boolean valued analysis
[Приглашение в булевозначный анализ]

A. G. Kusraevab, S. S. Kutateladzec

a Vladikavkaz Science Center of the RAS
b North Ossetian State University
c Sobolev Institute of Mathematics
Список литературы:
Аннотация: Это короткое приглашение в область булевозначного анализа. Теория моделей оценивает и исчисляет истинность и доказательства. Поиск истины не только приближает нас к преследуемой цели, но также позволяет постичь многие другие ипостаси истины, к которым мы не стремились и которые мы даже не предвидели в начале предпринятого поиска. Это то, что нам открылось при изучении булевозначных моделей теории множеств. Такие модели проистекают из знаменитых работ П. Дж. Коэна по гипотезе континуума. Они относятся к математической логике и дают обилие непривычных и непредвиденных инкарнаций математических идей. Тем самым открываются новые мощные возможности для моделирования привычных способов умозаключения и верификации. Булевозначный анализ — это синтез анализа и булевозначных моделей. Адаптация идей булевозначного моделирования к функциональному анализу относится к наиболее важным направлениям развития синтетических методов математики. Этот подход дает новые модели чисел, пространств и типов уравнений. Расширяет содержимое всех имеющихся теорем и алгоритмов. Вся методология математического исследования обогащается и обновляется, открывая фантастические возможности. Теперь мы можем трансформировать матрицы в числа, вложить функциональные пространства в вещественную прямую, но при этом остаются неизведанными обширные территории нового знания. Статья представляет собой дайджест двух книг, содержащие итоги наших размышлений и исследований в этой области.
Ключевые слова: булевозначный универсум, булева оценка истинности, принцип переноса, принцип максимума, перемешивание, спуск, подъем, булевозначные числа, теорема Гордона.
Поступила в редакцию: 05.02.2018
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.98
Язык публикации: английский
Образец цитирования: A. G. Kusraev, S. S. Kutateladze, “Invitation to Boolean valued analysis”, Владикавк. матем. журн., 20:2 (2018), 69–79
Цитирование в формате AMSBIB
\RBibitem{KusKut18}
\by A.~G.~Kusraev, S.~S.~Kutateladze
\paper Invitation to Boolean valued analysis
\jour Владикавк. матем. журн.
\yr 2018
\vol 20
\issue 2
\pages 69--79
\mathnet{http://mi.mathnet.ru/vmj655}
\crossref{https://doi.org/10.23671/VNC.2018.2.14723}
\elib{https://elibrary.ru/item.asp?id=35258719}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmj655
  • https://www.mathnet.ru/rus/vmj/v20/i2/p69
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Владикавказский математический журнал
    Статистика просмотров:
    Страница аннотации:234
    PDF полного текста:83
    Список литературы:27
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024