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

Контакты

Адрес: Россия, 362025, Владикавказ,
ул. Ватутина, 53
Тел.: (8672)23-00-54
E-mail: rio@smath.ru

 

 

 

Яндекс.Метрика

Уважаемые авторы, просим обратить внимание!
Подача статьи осуществляется только через личный кабинет электронной редакции.
DOI: 10.23671/VNC.2018.2.14723

Приглашение в булевозначный анализ

Кусраев А. Г. , Кутателадзе С. С.
Владикавказский математический журнал. 2018. Том 20. Выпуск 2.С.69-79.
Аннотация:
Это короткое приглашение в область булевозначного анализа. Теория моделей оценивает и исчисляет истинность и доказательства. Поиск истины не только приближает нас к преследуемой цели, но также позволяет постичь многие другие ипостаси истины, к которым мы не стремились и которые мы даже не предвидели в начале предпринятого поиска. Это то, что нам открылось при изучении булевозначных моделей теории множеств. Такие модели проистекают из знаменитых работ П. Дж. Коэна по гипотезе континуума. Они относятся к математической логике и дают обилие непривычных и непредвиденных инкарнаций математических идей. Тем самым открываются новые мощные возможности для моделирования привычных способов умозаключения и верификации. Булевозначный анализ - это синтез анализа и булевозначных моделей. Адаптация идей булевозначного моделирования к функциональному анализу относится к наиболее важным направлениям развития синтетических методов математики. Этот подход дает новые модели чисел, пространств и типов уравнений. Расширяет содержимое всех имеющихся теорем и алгоритмов. Вся методология математического исследования обогащается и обновляется, открывая фантастические возможности. Теперь мы можем трансформировать матрицы в числа, вложить функциональные пространства в вещественную прямую, но при этом остаются неизведанными обширные территории нового знания. Статья представляет собой дайджест двух книг, содержащие итоги наших размышлений и исследований в этой области.
Ключевые слова: булевозначный универсум, булева оценка истинности, принцип переноса, принцип максимума, перемешивание, спуск, подъем, булевозначные числа, теорема Гордона
Язык статьи: Английский Загрузить полный текст  
Образец цитирования: Кусраев А. Г., Кутателадзе С. С. Приглашение в булевозначный анализ // Владикавк. мат. журн. 2018. Том 20, вып. 2. С. 69-79. DOI 10.23671/VNC.2018.2.14723
+ Список литературы


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