-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Impredicativity
Перевод слова "impredicativity" на Русский язык
impredicativity
Существительное
impredicativity
impredicativities множ.
импредикативность
Impredicativity is a property of certain definitions in logic.
Импредикативность — это свойство некоторых определений в логике.
Опеределения
impredicativity
Существительное
The quality or state of being impredicative, which refers to a self-referential definition or a definition that involves a circular reference.
The concept of impredicativity is often discussed in the context of set theory and logic, where it can lead to paradoxes if not handled carefully.
The property of a definition, statement, or formal system being impredicative; the quality of defining an entity by quantifying over a domain that includes the entity itself.
Russell criticised the use of impredicativity in Frege’s logical system.
Идиомы и фразы
the problem of impredicativity
The problem of impredicativity arises frequently in the foundations of mathematics.
проблема импредикативности
Проблема импредикативности часто возникает в основах математики.
resolve impredicativity
Researchers attempt to resolve impredicativity in certain logical systems.
разрешить импредикативность
Исследователи пытаются разрешить импредикативность в некоторых логических системах.
impredicativity in definitions
Impredicativity in definitions can lead to paradoxes.
импредикативность в определениях
Импредикативность в определениях может привести к парадоксам.
addressing impredicativity
Addressing impredicativity is critical for constructing consistent theories.
решение вопроса об импредикативности
Решение вопроса об импредикативности важно для построения непротиворечивых теорий.
impredicativity issue
The impredicativity issue complicates the formulation of certain set theories.
вопрос импредикативности
Вопрос импредикативности усложняет формулировку некоторых теорий множеств.