Englisch English Russisch Русский Deutsch Deutsch
  • Englisch Englisch
  • Russisch Russisch
  • Deutsch Deutsch
  • Englisch Englisch
  • Russisch Russisch
  • Deutsch Deutsch
en

Impredicative

ru

Übersetzung von "impredicative" ins Russisch

impredicative
Adjektiv
raiting
UK
/ɪmˈprɛdɪkətɪv/
US
/ɪmˈprɛdɪkətɪv/
impredicative
more impredicative Komp.
most impredicative Super.
The impredicative definition in the mathematical theory was quite complex.
Импредикативное определение в математической теории было довольно сложным.

Definitionen

impredicative
Adjektiv
raiting
UK
/ɪmˈprɛdɪkətɪv/
US
/ɪmˈprɛdɪkətɪv/
Relating to a definition, property, or expression that quantifies over a totality which includes the entity being defined, thus allowing self-reference.
The axiom was rejected because it relied on an impredicative definition of the set in question.
Not predicative; involving impredicativity in logical or mathematical reasoning.
Russell criticised certain proofs as impredicative and therefore illegitimate.

Redewendungen und Phrasen

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.
импредикативный метод
Некоторые логические системы ограничивают использование импредикативных методов.