Информа́ция — сведения независимо от формы их представления.
Те́зис Чёрча — Тью́ринга — логико-математический принцип, устанавливающий эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин, «эффективно вычислимый» для описания функций, которые можно вычислить с помощью «бумажно-карандашных» методов.
Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
Теорема Гёделя о неполноте и вторая теорема Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Алонзо Чёрч — американский математик и логик, внесший значительный вклад в основы информатики.
Фри́дрих Лю́двиг Го́тлоб Фре́ге — немецкий логик, математик и философ. Представитель школы аналитической философии.
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Ха́скелл Брукс Ка́рри — американский математик и логик.
Парадо́кс всемогу́щества — семейство парадоксов, связанных с различными интерпретациями понятия всемогущества. Так, парадокс возникает из представления о всемогущем существе, способном ставить перед собой невыполнимые задачи или воплощать в объективной реальности логически противоречивые словесные конструкции. Такое понимание всемогущества отвергается большинством представителей западной религиозно-философской традиции — от Фомы Аквинского до Алвина Плантинги. Комплекс логических проблем, связанных с парадоксом всемогущества, иногда рассматривается как доказательство невозможности существования Бога, хотя по утверждению многих христианских теологов и философов представление о беспредельном всемогуществе, пренебрегающем законами логики, чуждо ортодоксальному христианскому богословию. Другие попытки решения парадокса сводятся к уточнению содержания понятий «всемогущество» и «Бог», а также выяснению вопроса о том, является ли сам Бог объектом приложения своего всемогущества.
Динозавроморфы (лат. Dinosauromorpha) — клада архозавров, объединяющая динозавров и все базальные («примитивные») таксоны, более родственные динозаврам, чем птерозаврам и крокодилам.
Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил. В наиболее общей форме речь идёт о совокупности некоторого набора объектов и правил — отношений между этими объектами, которые указывают как преобразовать этот набор.
Ната́н Ро́зен — американский и израильский физик-теоретик.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно».
За́мкнутая времениподо́бная ли́ния или за́мкнутая времениподо́бная крива́я в математической физике — времениподо́бная кривая на Лоренцевом многообразии, возвращающаяся в исходную пространственно-временную точку, то есть замкнутая мировая линия частицы в пространстве-времени. Существование таких линий в рамках общей теории относительности было впервые вынесено на широкое обсуждение Куртом Гёделем в 1949 году на основании полученного им точного решения уравнений Эйнштейна, известного как метрика Гёделя, хотя первое решение такого типа было получено ранее, в 1937 году Виллемом Ван Стокумом. Подобные кривые возникают и в других решениях, таких как «цилиндр Типлера» и «проходимая кротовая нора». Существование замкнутых времениподобных кривых позволяет путешествия во времени со всеми связанными с ними парадоксами.
Соответствие Карри — Ховарда — наблюдаемая структурная эквивалентность между математическими доказательствами и программами, которая может быть формализована в виде изоморфизма между логическими системами и типизированными исчислениями.
Principia Mathematica — трёхтомный труд по логике и философии математики Альфреда Норта Уайтхеда и Бертрана Рассела, выпущенный в 1910, 1912 и 1913 годах. Монография написана на английском языке, но название дано на латыни. Название переводилось на русский как «Принципы математики», «Начала математики» и «Основания математики».
В математике кривая Осгуда — это самонепересекающаяся кривая с положительной площадью. Более формально, это кривые на евклидовой плоскости с положительной двумерной мерой Лебега.
Непредикати́вность определения в математике и логике, нестрого говоря, означает, что осмысленность определения предполагает наличие определяемого объекта. Пример: объект 
определяется как такой элемент некоторого множества, который удовлетворяет определённому отношению между ним и всеми элементами этого множества. В некоторых случаях непредикативное определение может привести к недоразумениям или даже противоречиям. Противоположное по смыслу понятие — предикативность.
Паранепротиворечивая логика — стремление формальной системы к решению проблемы противоречий, с помощью метода дифференциации. Представляет собой область, занимающуюся изучением и развитием «устойчивым к противоречиям» систем, исключающих принцип взрыва.
