Связанные понятия
Математи́ческая структу́ра — название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой структуры задают отношения, в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры.
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов...
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий...
Число ́ — основное понятие математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей. Письменными знаками для обозначения чисел служат цифры, а также символы математических операций. Возникнув ещё в первобытном обществе из потребностей счёта, понятие числа с развитием науки значительно расширилось.
В теории множеств и смежных с ней областях математики под универсумом фон Неймана (обозначается V), или иерархией множеств по фон Нейману, понимается класс, образованный наследственными фундированными множествами. Такая совокупность, формализуемая теорией множеств Цермело-Френкеля (ZFC) часто используется в качестве интерпретации или обоснования ZFC-аксиом.
Подробнее: Универсум фон Неймана
Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный. Ветвь общей алгебры, занимающаяся группами, называется теорией групп.
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях и типах в логике и языках программирования.
Матема́тика (др.-греч. μᾰθημᾰτικά < μάθημα «изучение; наука») — наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории. Исторически сложилась на основе операций подсчёта, измерения и описания формы объектов. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке...
Анализ формальных понятий (АФП) (англ. Formal Concept Analysis, FCA) — ветвь прикладной алгебраической теории решёток. Традиционно АФП относят к области концептуальных структур в искусственном интеллекте.
Данная статья представляет собой обзор основных событий и тенденций в истории математики с древнейших времён до наших дней.
Подробнее: История математики
Наи́вная тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств. Основным создателем теории множеств в наивном её варианте является немецкий математик Георг Кантор. Множество есть любое собрание определённых и различимых между собой объектов нашей интуиции или интеллекта, мыслимое как единое целое. Для задания элементов множества используется форма. В качестве основных аксиом принимаются аксиома объемности, принцип абстракции и аксиома выбора.
Вероя́тностное простра́нство — понятие, введённое А. Н. Колмогоровым в 30-х годах XX века для формализации понятия вероятности, которое дало начало бурному развитию теории вероятностей как строгой математической дисциплины.
Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств.
Ось вре́мени — философский термин, используемый для краткого именования направленности и необратимости времени. Наглядно иллюстрируется как временна́я ось (именуемая также в контексте термодинамики стрелою времени) — концепция, описывающая время как прямую (то есть математически одномерный объект), протянутую из прошлого в будущее. Из любых двух несовпадающих точек оси времени одна всегда является будущим относительно другой. Выделяют три основные стрелы времени: термодинамическую, космологическую...
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
В теории множеств, разделе математики, урэлемент или ур-элемент (от немецкой приставки ur- обозначающей «изначальный» или «исходный») — это объект (конкретный или абстрактный), который не является множеством, но который может быть элементом множества. Урэлементы иногда называются «атомами».
Подробнее: Урэлемент
История теории вероятностей отмечена многими уникальными особенностями. Прежде всего, в отличие от появившихся примерно в то же время других разделов математики (например, математического анализа или аналитической геометрии), у теории вероятностей по существу не было античных или средневековых предшественников, она целиком — создание Нового времени. Долгое время теория вероятностей считалась чисто опытной наукой и «не совсем математикой», её строгое обоснование было разработано только в 1929 году...
Мно́жество — одно из ключевых понятий математики; это математический объект, сам являющийся набором, совокупностью, собранием каких-либо объектов, которые называются элементами этого множества и обладают общим для всех их характеристическим свойством. Изучением общих свойств множеств занимаются теория множеств, а также смежные разделы математики и математической логики.
Многозна́чная ло́гика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний. Первую систему многозначной логики предложил польский философ Ян Лукасевич в 1920 году. В настоящее время существует очень много других систем многозначной логики, которые в свою очередь могут быть сгруппированы по классам. Важнейшими из таких классов являются частичные логики и нечёткие логики.
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.
Тео́рия ха́оса — математический аппарат, описывающий поведение некоторых нелинейных динамических систем, подверженных при определённых условиях явлению, известному как хаос (динамический хаос, детерминированный хаос). Поведение такой системы кажется случайным, даже если модель, описывающая систему, является детерминированной. Для акцентирования особого характера изучаемого в рамках этой теории явления обычно принято использовать название теория динамического хаоса.
Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента.
Сюрреальные числа (англ. surreal number — название принадлежит американскому математику Дональду Кнуту) впервые были использованы под другим названием («числа» — англ. number) в работах английского математика Джона Конвея для описания ряда аспектов теории игр.
Алгебра множеств в теории множеств — это непустая система подмножеств, замкнутая относительно операций дополнения (разности) и объединения (суммы).
Эрлангенская программа — выступление 23-летнего немецкого математика Феликса Клейна в Эрлангенском университете (октябрь 1872 года), в котором он предложил общий алгебраический подход к различным геометрическим теориям и наметил перспективный путь их развития. Доклад был связан с процедурой утверждения Клейна в должности профессора и был опубликован в том же году. Первый русский перевод появился в 1895 году.
Преде́л — одно из основных понятий математического анализа. Различают предел последовательности и предел функции.
Теория социальных событий — общая социологическая теория, предметом которой являются общественные события как форма изменения социальной действительности.
Анализ бесконечно малых — историческое название математического анализа, раздела высшей математики, изучающего пределы, производные, интегралы и бесконечные ряды, и составляющего важную часть современного математического образования. Состоит из двух основных частей: дифференциального исчисления и интегрального исчисления, которые связаны между собой формулой Ньютона — Лейбница.
Многозна́чная зави́симость (тж. МЗЗ) — обобщение понятия функциональной зависимости, широко использующееся в теории баз данных. В концепции нормальных форм вводится для формального определения четвертой нормальной формы...
Алгори́тм (лат. algorithmi — от арабского имени математика Аль-Хорезми) — конечная совокупность точно заданных правил решения произвольного класса задач или набор инструкций, описывающих порядок действий исполнителя для решения некоторой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться...
Если дано топологическое пространство и группа действий на нём, образы отдельной точки под действием группы действий образуют орбиты действий. Фундаментальная область — это подмножество пространства, которое содержит в точности по одной точке из каждой орбиты. Она даёт геометрическую реализацию абстрактного множества представителей орбит.
Подробнее: Фундаментальная область
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.
Задачи тысячелетия — семь открытых математических проблем, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Существует историческая параллель между задачами тысячелетия и списком проблем Гильберта 1900 года, оказавшим существенное влияние на развитие математики в XX веке; из 23 проблем Гильберта большинство уже решены, и только...
Статистическая теория поля — раздел статистической физики, в котором изучаются пространственные случайные системы с взаимодействием. Объектами изучения в статистической теории поля являются поля или системы, число степеней свободы которых сравнимо с полем. Для равновесных состояний микросостояния системы выражены через полевые конфигурации. В рамках этого раздела изучаются статистические системы случайных полей. Это область тесно связана с квантовой теорией поля, которая описывает квантовую динамику...
Теория катастроф — раздел математики, включающий в себя теорию бифуркаций дифференциальных уравнений (динамических систем) и теорию особенностей гладких отображений.
Арифме́тика (др.-греч. ἀριθμητική (árithmitikí) — от ἀριθμός (árithmós) «число») — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа (натуральные, целые, рациональные, вещественные, комплексные числа) и его свойства. В арифметике рассматриваются измерения, вычислительные операции (сложение, вычитание, умножение, деление) и приёмы вычислений. Изучением свойств отдельных целых чисел занимается высшая арифметика, или теория чисел. Теоретическая...
Многомирова́я интерпрета́ция (англ. many-worlds interpretation) или интерпретация Эверетта — интерпретация квантовой механики, которая предполагает существование, в некотором смысле, «параллельных вселенных», в каждой из которых действуют одни и те же законы природы и которым свойственны одни и те же мировые постоянные, но которые находятся в различных состояниях. Исходная формулировка принадлежит Хью Эверетту (1957 год).
Бесконечно малая — числовая функция или последовательность, которая стремится к нулю.
Многомерное время — гипотезы существования времени с размерностью T > 1. Эти гипотезы имеют определённое распространение в физике, философии и фантастике.
Бесконечность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно.
Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона.
Причи́нная меха́ника (Теория времени) — не признанная научным сообществом и не имеющая достаточного экспериментального подтверждения гипотеза о физических свойствах времени и объективном отличии причин от следствий, предложенная советским астрофизиком Николаем Козыревым в 1958 году.
Шумовая модель коммуникации К. Шеннона — У. Уивера — математическая модель, которая описывает линейную передачу сообщений и рассматривает основные объекты коммуникации. Была предложена в 1949 году Клодом Элвудом Шенноном и Уорреном Уивером.
Парижская семиотическая школа (фр. École sémiotique de Paris) основана А. Ж. Греймасом в 1960-е годы. Семиотика в духе Парижской школы, в отличие от большинства других, не определяет свой предмет как исследование знаковых систем (для этой сферы используется соссюровский термин семиология). Парижская школа постулирует существование универсальных структур, которые лежат в основе значения и создают его; их исследование и является, в её понимании, предметом семиотики. Эти структуры можно представить...
Семанти́ческая сеть — информационная модель предметной области, имеющая вид ориентированного графа, вершины которого соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть понятия, события, свойства, процессы. Таким образом, семантическая сеть является одним из способов представления знаний. В названии соединены термины из двух наук: семантика в языкознании изучает смысл единиц языка, а сеть в математике представляет собой разновидность графа...
M-тео́рия — современная физическая теория, созданная с целью объединения фундаментальных взаимодействий. В качестве базового объекта используется так называемая «брана» (многомерная мембрана) — протяжённый двухмерный или с бо́льшим числом измерений (n-брана) объект.
Подробнее: М-теория
Вре́мя — форма протекания физических и психических процессов, условие возможности изменения. Одно из основных понятий философии и физики, мера длительности существования всех объектов, характеристика последовательной смены их состояний в процессах и самих процессов, изменения и развития, а также одна из координат единого пространства-времени, представления о котором развиваются в теории относительности.
Спор о струне , спор о колеблющейся струне, спор о звучащей струне — научная дискуссия, развернувшаяся в XVIII веке между крупнейшими учёными того времени вокруг изучения колебаний струны. В спор оказались вовлечены Д’Аламбер, Эйлер, Д. Бернулли, Лагранж. Дискуссия касалась определения понятия функции и оказала решающее влияние на множество разделов математики: теорию дифференциальных уравнений в частных производных, математический анализ и теорию функций вещественного переменного, теорию тригонометрических...
Красота математики — восприятие математики как объекта эстетического наслаждения, схожего с музыкой и поэзией.