Nondefinability

Translation of "nondefinability" into Russian

Noun

/nɒnˌdɛfɪnəˈbɪlɪti/

/nɑnˌdɛfɪnəˈbɪləti/

nondefinability

nondefinabilities pl

The nondefinability of certain concepts makes them difficult to discuss.

Неопределимость некоторых концепций делает их трудными для обсуждения.

Noun

/nɒnˌdɛfɪnəˈbɪlɪti/

/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.

Adjective

/nɒnˌdɛfɪnəˈbɪlɪti/

/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.

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.

пример неопределимости

Он продемонстрировал пример неопределимости в логике первого порядка.