Конструктивизм (философия математики)
Конструктивизм (философия математики) Конструктивизм в математике — направление, основанное на конструктивном подходе к анализу и логике. Конструктивисты утверждают, что только […]
Вики
Вики
Теория множеств
Теория множеств Теория множеств — раздел математики, изучающий свойства множеств и их отношения. Основана на работах Г. Кантора, Б. Рассела
Вики
Категориальная абстрактная машина
Категориальная абстрактная машина Категориальная абстрактная машина (CAM) — модель вычислений для программ, сохраняющая возможности прикладного, функционального или композиционного стиля. CAM
Вики
Математическая логика
Математическая логика Логика первого порядка — это формальная система, используемая для изучения математических утверждений. Она включает в себя конечные выражения
Вики
Алгебраическая структура
Алгебраическая структура Алгебраическая структура — это набор элементов и операций, определяющих математическую структуру. Примеры алгебраических структур включают группы, поля и
Вики
Универсальная алгебра
Универсальная алгебра Универсальная алгебра — раздел математики, изучающий алгебраические системы с различными операциями. Универсальная алгебра объединяет различные классы алгебр и
Вики
Схема (математика)
Схема (математическая) Схема — абстрактное пространство, связанное с алгебраической структурой. Схема может быть определена как множество точек с координатным кольцом
Вики
Эмми Нётер
Эмми Нетер Эмми Нетер была выдающимся математиком, внесшим значительный вклад в теорию идеалов и абстрактную алгебру. Она получила докторскую степень
Вики
Станислав Улам
Станислав Улам Улам и Теллер внесли значительный вклад в разработку водородной бомбы. Улам изобрел аналоговый компьютер FERMIAC для моделирования случайной
Вики
Гомологическая алгебра
Гомологическая алгебра Гомологическая алгебра изучает гомологии и когомологии топологических пространств и других алгебраических объектов. Гомологии и когомологии связаны с гомоморфизмами
Вики
Гомологии (математика)
Гомология (математика) Гомологии — это математические структуры, связанные с топологическими пространствами. Гомологии используются для изучения топологических свойств пространств и их
Вики
Теория групп
Теория групп Теория групп изучает свойства и взаимодействия между множествами элементов, которые обладают определенными операциями. Группы могут быть изоморфными, что
Вики
Хронология теории категорий и связанной с ней математики
Хронология развития теории категорий и связанной с ней математики Статья представляет собой обзор истории и развития теории категорий и топосов
Вики
Рональд Браун (математик)
Рональд Браун (математик) Рональд Браун — английский математик, почетный профессор школы компьютерных наук Бангорского университета. Браун является автором множества книг
Вики
Алгебра многомерных измерений
Многомерная алгебра Многомерная алгебра изучает категоризированные структуры в математике, особенно в теории высших категорий. Концепция многомерных категорий включает 2-ю категорию
Вики
Порядковый номер
Порядковый номер Ординалы — это упорядоченные множества натуральных чисел, которые могут быть бесконечными. Порядковый номер — это число, которое указывает
Вики
Квазикатегория
Квазикатегория Квазикатегория — категория, в которой не определены законы композиции морфизмов. Гомотопическая категория связана с квазикатегорией и имеет объекты, представляющие
Вики
Натуральное число
Натуральное число Натуральные числа — это числовые объекты, которые используются для счета и упорядочивания. Они обладают алгебраическими свойствами, такими как
Вики
Бикатегория
Двухкатегория Бикатегория — понятие в теории категорий для расширения категории, когда композиция морфизмов не строго ассоциативна. Введение бикатегории было сделано