Ги́льбертово простра́нство — обобщение евклидова пространства, допускающее бесконечную размерность и полное по метрике, порождённой скалярным произведением. Названо в честь Давида Гильберта.

Ква́нтовая тео́рия по́ля (КТП) — раздел физики, изучающий поведение квантовых систем с бесконечно большим числом степеней свободы — квантовых полей; является теоретической основой описания микрочастиц, их взаимодействий и превращений. На языке КТП основываются физика высоких энергий и физика элементарных частиц, её математический аппарат используется в физике конденсированного состояния. КТП в виде Стандартной модели в настоящее время является единственной экспериментально подтверждённой теорией, способной описывать и предсказывать результаты экспериментов при достижимых в современных ускорителях высоких энергиях.

Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.

Магнети́зм — форма взаимодействия движущихся электрических зарядов, осуществляемая на расстоянии посредством магнитного поля. Наряду с электричеством, магнетизм — одно из проявлений электромагнитного взаимодействия. С точки зрения квантовой теории поля электромагнитное взаимодействие переносится бозоном — фотоном.

Вселе́нная — не имеющее строгого определения понятие в астрономии и философии, под которым чаще всего подразумевается совокупность всей существующей в мире энергии, материи и пространства-времени. Оно делится на две принципиально различающиеся сущности: умозрительную (философскую) и материальную, доступную наблюдениям в настоящее время или в обозримом будущем. Если автор различает эти сущности, то, следуя традиции, первую называют Вселенной, а вторую — астрономической Вселенной или Метагалактикой.

Четырёхугольник — это геометрическая фигура (многоугольник), состоящая из четырёх точек (вершин), никакие три из которых не лежат на одной прямой, и четырёх отрезков (сторон), последовательно соединяющих эти точки. Различают выпуклые и невыпуклые четырёхугольники, невыпуклый четырёхугольник может быть самопересекающимся. Четырёхугольник без самопересечений называется простым, часто под термином «четырёхугольник» имеются в виду только простые четырёхугольники.

Фу́нкция — соответствие между двумя множествами, при котором каждому элементу одного множества соответствует единственный элемент другого.

Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
Прямое произведение — множество, элементами которого являются все возможные упорядоченные пары элементов заданных двух непустых исходных множеств. Предполагается, что впервые «декартово» произведение двух множеств ввёл Георг Кантор.

Тео́рия гра́фов — раздел дискретной математики, изучающий графы, одна из ветвей топологии. В самом общем смысле граф — это множество точек, которые соединяются множеством линий. Теория графов включена в учебные программы для начинающих математиков, поскольку:
- как и геометрия, обладает наглядностью;
- как и теория чисел, проста в объяснении и имеет сложные нерешённые задачи;
- не имеет громоздкого математического аппарата ;
- имеет выраженный прикладной характер.

Тессера́кт — четырёхмерный гиперкуб, аналог обычного трёхмерного куба в четырёхмерном пространстве. Другие названия: 4-куб, тетраку́б, восьмияче́йник, октахо́р, гиперкуб. Тессеракт — один из шести правильных многоячейников в четырёхмерном пространстве.

Окта́эдр — многогранник с восемью гранями.

Ко́нус — поверхность, образованная в пространстве множеством лучей, соединяющих все точки некоторой плоской кривой с данной точкой пространства.
Во́зраст Вселе́нной — время, прошедшее с начала расширения Вселенной.

Гамильтонов граф — граф, содержащий гамильтонов цикл. При этом гамильтоновым циклом является такой цикл, который проходит через каждую вершину данного графа ровно по одному разу; то есть простой цикл, в который входят все вершины графа.

Генерати́вная лингви́стика — направление в современном мировом языкознании, получило распространение с конца 1950-х годов, основоположник — Ноам Хомский (США). Эта теория считает вопросом лингвистики изучение гипотетической врождённой структуры языка. В 1960—1990-е годы генеративизм являлся наиболее влиятельным подходом в лингвистике.

Треуго́льник — геометрическая фигура, образованная тремя отрезками, которые соединяют три точки, не лежащие на одной прямой. Указанные три точки называются вершинами треугольника, а отрезки — сторонами треугольника. Часть плоскости, ограниченная сторонами, называется внутренностью треугольника: нередко треугольник рассматривается вместе со своей внутренностью.
NTRUEncrypt — это криптографическая система с открытым ключом, ранее называвшаяся NTRU.

X-штрих-теория — предположение генеративного синтаксиса 1970-1980-х годов, налагающее серьёзные ограничения на структуру составляющих — изначально только для лексических вершин, но ко времени книги «Барьеры» была расширена и на функциональные. В минималистском синтаксисе заменена более простой, но также эндоцентричной структурой непосредственных составляющих.