Журавлёв Владимир Николаевич7 : другие произведения.

Мультипликативная логика в арифметике

Самиздат: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь|Техвопросы]
Ссылки:
Школа кожевенного мастерства: сумки, ремни своими руками
 Ваша оценка:
  • Аннотация:
    В статье рассматривается мультипликативная арифметика как одна из моделей многозначной проективной логики. Доказывается, что замкнутые интервалы чисел в такой арифметике являются алгебрами Гейтинга. Найдены условия, при которых эти алгебры булевы. Проведена численная верификация утверждений статьи. Намечены пути обобщения для нормированных линейных пространств. MSC 2020: 03B50, 03B60.


Что такое математическая логика? Результат попыток точного анализа математического мышления. Но не только это. Сейчас изучается много видов неклассических логик. И чаще всего причиной для их изучения является их практическая востребованность. Но что есть практика? То, что востребовано сегодня, не было таковым вчера и, возможно, не будет таковым завтра. С этой точки зрения, неклассические логики являются явлением культуры, несмотря на всю свою математическую строгость. Впрочем, такое положение вещей можно наблюдать не только в логике, но и в некоторых других областях математики, например,- в математической статистике или же в экономике; всё это научные области, пока ещё не имеющие эмпирической прозрачности и строгости, свойственной физике или химии. Что касается логики, то интересно было бы более систематически посмотреть на её неклассические обобщения с целью выявления главных тенденций.

Я хочу показать, что такие фундаментальные понятия, как истина и ложь, могут быть относительными. Хотелось бы также найти общую тенденцию развития, суммировать попытки логических поисков современной математики, приблизиться к их философскому осмыслению.

В англоязычном варианте можно прочитать здесь: Multiplicative logic in arithmetic

На темы, близкие к вышеназванной: V.M. Zhuravlov (по этому адресу в будущем будут размещены и все другие мои статьи.)
Статья в русскоязычном варианте:
многовариантная_истинность

 Ваша оценка:

Связаться с программистом сайта.

Новые книги авторов СИ, вышедшие из печати:
О.Болдырева "Крадуш. Чужие души" М.Николаев "Вторжение на Землю"

Как попасть в этoт список

Кожевенное мастерство | Сайт "Художники" | Доска об'явлений "Книги"