RUS  ENG
Полная версия
ЖУРНАЛЫ // Фундаментальная и прикладная математика // Архив

Фундамент. и прикл. матем., 1998, том 4, выпуск 3, страницы 927–935 (Mi fpm345)

Эта публикация цитируется в 3 статьях

Статьи, посвященные памяти А. Н. Тихонова

О концепции математической системы

В. К. Захаровa, А. В. Михалёвb

a Санкт-Петербургский государственный университет технологии и дизайна
b Московский государственный университет им. М. В. Ломоносова

Аннотация: В первом томе трактата “Начала математики” Бурбаки было дано одно из возможных строгих определений математической структуры. Однако оказалось, что это определение мало пригодно для широкого использования в силу того, что структуры в смысле Бурбаки обладают скобочным разбиением, означающим определенную очередность задания составляющих частных структур (таких как сложение, порядок, норма, топология, мера и др.). В данной статье излагается концепция математической системы, включающая в себя в качестве частных случаев как скобочную концепцию математической структуры Бурбаки, так и бесскобочную концепцию алгебраической системы Биркгофа–Тарского и позволяющая, в частности, строить для многих важных математических систем соответствующие бесскобочные структуры.

Ключевые слова: сорт, сигнатура, тип, аксиома, базисные и общие структуры, математическая система, доминион, морфизм систем.

УДК: 510.2

Поступила в редакцию: 01.12.1997



Реферативные базы данных:


© МИАН, 2024