- выразимость
- f. expressibiiity
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
О формально неразрешимых предложениях — «О ФОРМАЛЬНО НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЯХ» классическая работа К. Геделя (Godel К. Uber formal unentscheidbare Satze der Principia Mathemati ca und verwandter Systeme, I // Monatshefte fur Mathematik und. Physik. 1931. Bd. 38. S. 173 198;… … Энциклопедия эпистемологии и философии науки
Дифференциальный бином — В математическом анализе дифференциальным биномом или биномиальным дифференциалом называется интеграл вида где m, n, p, a, b действительные числа. Содержание 1 Свойства … Википедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
Субстанция — (лат. substantia сущность, нечто лежащее в основе) объективная реальность, рассматриваемая со стороны её внутреннего единства; Материя в аспекте единства всех форм её движения; предельное основание, позволяющее сводить чувственное… … Большая советская энциклопедия
ФИЛОСОФИЯ КУЛЬТУРЫ — филос. исследование принципов и общих закономерностей культуры. Может существовать как специальная теория или как аспект более широкой концепции. От Ф.к. следует отличать культурологию как специальную гуманитарную науку, не требующую… … Философская энциклопедия
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ЭФФЕКТИВИЗМ — направление в филос. основаниях математики, ставившее своей задачей переосмысление «платонистской» концептуальной основы содержат. (канторовской) теории множеств с т. зр. принципов эмпиризма. Выдвинуто в кон. 19 нач. 20 вв. в работах… … Философская энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… … Математическая энциклопедия