Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримости множеств тщательно разработана дескриптивная теория множеств.
Те́зис Чёрча — Тью́ринга — логико-математический принцип, устанавливающий эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин, «эффективно вычислимый» для описания функций, которые можно вычислить с помощью «бумажно-карандашных» методов.
Математи́ческая ло́гика — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
В алгоритмической теории информации колмогоровская сложность объекта есть мера вычислительных ресурсов, необходимых для точного определения этого объекта.
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причём все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Ри́чард Ме́ретт Монтегю́ — американский математик, философ. Его наиболее известные исследования посвящены семантике и прагматике естественного языка, математической логике и теории множеств. Монтегю — основатель модельно-теоретического подхода к семантике естественного языка, часто называемого грамматикой Монтегю.
Сол Аарон Крипке — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
Альфред Тарский — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966).
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Проблема разрешения — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости — и, после конечного числа шагов, останавливался бы и выдавал один из двух ответов: «Истина!» или «Ложь!», — в зависимости от того, истинно или ложно утверждение «
». Ответ не требует обоснований, но должен быть верным.
Таблица Кэли — таблица, которая описывает структуру конечных алгебраических систем путём расположения результатов операции в таблице, напоминающей таблицу умножения. Названа в честь английского математика Артура Кэли. Таблица имеет важное значение в дискретной математике, в частности, в теории групп. Таблица позволяет выяснить некоторые свойства группы, например, является ли группа абелевой, найти центр группы и обратные элементы элементов группы.
Система аксиом фон Неймана — Бернайса — Гёделя в метаматематике — одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело — Френкеля с аксиомой выбора (ZFC). Предложения, сформулированные на языке теории ZFC, доказуемы в ZFC тогда и только тогда, когда они доказуемы в NBG.
В лингвистике, катена — синтаксическая и морфологическая единица, тесно связанная с грамматиками зависимостей. Она является более гибким и объемлющим понятием, чем составляющая, и поэтому, вероятно, может лучше составляющей служить в качестве фундаментальной единицы синтактического и морфосинтактического анализа.
Логика высшего порядка в математике и логике — форма предикатной логики, которая отличается от логики первого порядка дополнительными предикатами над предикатами, кванторами над ними, и, соответственно, более богатой семантикой. Логики высшего порядка с их стандартными семантиками более выразительны, но их модельно-теоретические свойства значительно более сложны для изучения и применения по сравнению с логикой первого порядка.
А́нджей Стани́слав Мосто́вский — польский математик и логик, член Польской академии наук (1956). Труды посвящены основаниям математики, математической логике, теории множеств, теории моделей, вопросам разрешимости рекуррентных формул, применению алгебраических и топологических методов в математической логике. Президент секции логики, методологии и философии наук Международного союза истории и философии науки (1971—1975). Кавалер Ордена Возрождения Польши (1954), лауреат Государственной премии Польской народной республики (1966).
Схема аксиом — обобщение понятия аксиомы.
