nondefinability

[US]/ˌnɒndɪˌfaɪnəˈbɪləti/
[UK]/ˌnɑːndɪˌfaɪnəˈbɪləti/

Translation

n. качество или состояние недефинируемости; невозможность определения; (логика, математика) свойство понятия, множества или функции, которое не может быть формально определено в заданной формальной системе

Phrases & Collocations

conceptual nondefinability

концептуальная недефинируемость

inherent nondefinability

врожденная недефинируемость

nondefinability theorem

теорема о недефинируемости

nondefinability result

результат недефинируемости

recursive nondefinability

рекурсивная недефинируемость

essential nondefinability

существенная недефинируемость

logical nondefinability

логическая недефинируемость

formal nondefinability

формальная недефинируемость

semantic nondefinability

семантическая недефинируемость

inductive nondefinability

индуктивная недефинируемость

Example Sentences

the nondefinability theorem demonstrates fundamental limits in formal systems.

Теорема о недефинируемости демонстрирует фундаментальные ограничения в формальных системах.

mathematical logic often explores the nondefinability of certain sets.

Математическая логика часто изучает недефинируемость определенных множеств.

semantic nondefinability creates challenges in computational linguistics.

Семантическая недефинируемость создает трудности в вычислительной лингвистике.

researchers prove nondefinability results using diagonalization arguments.

Исследователи доказывают результаты недефинируемости с использованием аргументов диагонализации.

the nondefinability of truth in arithmetic was proven by tarski.

Недефинируемость истины в арифметике была доказана Тарским.

inherent nondefinability prevents complete formal characterization of complex concepts.

Врожденная недефинируемость препятствует полной формальной характеристике сложных понятий.

logical nondefinability emerges from the interaction between syntax and semantics.

Логическая недефинируемость возникает из взаимодействия между синтаксисом и семантикой.

formal nondefinability results have profound implications for artificial intelligence.

Результаты формальной недефинируемости имеют глубокие последствия для искусственного интеллекта.

the phenomenon of nondefinability challenges our understanding of formal systems.

Феномен недефинируемости ставит под сомнение наше понимание формальных систем.

model theory provides tools to analyze nondefinability in various structures.

Теория моделей предоставляет инструменты для анализа недефинируемости в различных структурах.

computational complexity theory studies the nondefinability of certain functions.

Теория вычислительной сложности изучает недефинируемость определенных функций.

philosophical implications of nondefinability extend to the limits of human knowledge.

Философские последствия недефинируемости распространяются на пределы человеческого знания.

Popular Words

Explore frequently searched vocabulary

Download App to Unlock Full Content

Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!

Download DictoGo Now