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