-
English
-
Russian
-
English
-
Russian
Impredicative
UK
/ɪmˈprɛdɪkətɪv/
US
/ɪmˈprɛdɪkətɪv/
Translation impredicative into russian
impredicative
Adjective
UK
/ɪmˈprɛdɪkətɪv/
US
/ɪmˈprɛdɪkətɪv/
The impredicative definition in the mathematical theory was quite complex.
Импредикативное определение в математической теории было довольно сложным.
Definitions
impredicative
Adjective
UK
/ɪmˈprɛdɪkətɪv/
US
/ɪmˈprɛdɪkətɪv/
Referring to a definition or property that is self-referential or circular, often used in logic and mathematics to describe a situation where a set is defined in a way that includes itself.
The impredicative nature of the set definition caused confusion among the students.
Idioms and phrases
impredicative definition
An impredicative definition is one that refers to a totality that includes the thing being defined.
импредикативное определение
Импредикативное определение — это определение, которое ссылается на совокупность, включающую определяемый объект.
impredicative construction
Mathematicians have debated the legitimacy of impredicative constructions in set theory.
импредикативная конструкция
Математики обсуждали допустимость импредикативных конструкций в теории множеств.
impredicative approach
The impredicative approach to defining sets has philosophical implications.
импредикативный подход
Импредикативный подход к определению множеств имеет философские последствия.
impredicative set
An impredicative set is one that is defined by quantifying over a domain containing the set itself.
импредикативное множество
Импредикативное множество — это множество, определяемое посредством квантификации над областью, включающей само это множество.
impredicative method
Some logical systems restrict the use of impredicative methods.
импредикативный метод
Некоторые логические системы ограничивают использование импредикативных методов.