-
Englisch
-
Russisch
-
Deutsch
-
Englisch
-
Russisch
-
Deutsch
Nondefinability
Übersetzung von "nondefinability" ins Russisch
nondefinability
Substantiv
UK
/nɒnˌdɛfɪnəˈbɪlɪti/
US
/nɑnˌdɛfɪnəˈbɪləti/
nondefinability
nondefinabilities Pl.
The nondefinability of certain concepts makes them difficult to discuss.
Неопределимость некоторых концепций делает их трудными для обсуждения.
Definitionen
nondefinability
Substantiv
UK
/nɒnˌdɛfɪnəˈbɪlɪti/
US
/nɑnˌdɛfɪnəˈbɪləti/
The quality or state of being unable to be defined or precisely described.
The nondefinability of certain abstract concepts makes them difficult to discuss in concrete terms.
(Logic, model theory) The property of a set, relation, or function that cannot be defined within a given formal system or language.
Gödel used diagonalisation to demonstrate the nondefinability of truth in arithmetic.
nondefinability
Adjektiv
UK
/nɒnˌdɛfɪnəˈbɪlɪti/
US
/nɑnˌdɛfɪnəˈbɪləti/
Attributive. Relating to or characterized by the property of not being definable.
The nondefinability aspect of the concept poses challenges for formal analysis.
Redewendungen und Phrasen
proof of nondefinability
The mathematician presented a proof of nondefinability in the given system.
доказательство неопределимости
Математик представил доказательство неопределимости в данной системе.
criterion for nondefinability
We established a new criterion for nondefinability of certain sets.
критерий неопределимости
Мы установили новый критерий неопределимости некоторых множеств.
results on nondefinability
Recent results on nondefinability have changed our perspective on logical frameworks.
результаты по неопределимости
Недавние результаты по неопределимости изменили наше представление о логических структурах.
notion of nondefinability
The notion of nondefinability is central to descriptive set theory.
понятие неопределимости
Понятие неопределимости является ключевым в дескриптивной теории множеств.
example of nondefinability
He demonstrated an example of nondefinability in first-order logic.
пример неопределимости
Он продемонстрировал пример неопределимости в логике первого порядка.