-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Невыводимость
Перевод слова "невыводимость" на Английский язык
невыводимость
Существительное
Основная форма
/nʲɪvɨvədʲɪˈmʲisʲtʲ/
Основная форма
/nʲɪvɨvədʲɪˈmʲisʲtʲ/
невыводимость
невыводимости
невыводимостью
Абстрактное существительное, употребляется только в ед. числе.
Невыводимость этого уравнения делает его решение сложным.
The non-derivability of this equation makes its solution difficult.
Опеределения
невыводимость
Существительное
Основная форма
/nʲɪvɨvədʲɪˈmʲisʲtʲ/
Основная форма
/nʲɪvɨvədʲɪˈmʲisʲtʲ/
Свойство или состояние чего-либо, что не может быть выведено, извлечено или получено из чего-либо другого.
Невыводимость этого утверждения из известных аксиом делает его особенно интересным для математиков.
В математической логике: свойство формулы или теории, заключающееся в невозможности её доказательства в данной формальной системе.
Теорема Гёделя основана на невыводимости определённых истин в арифметике.