-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Non-derivability
Перевод слова "non-derivability" на Русский язык
non-derivability
Существительное
non-derivability
non-derivabilities множ.
Abstract noun denoting the state or property of not being derivable, chiefly used in logic and mathematics.
Gödel's incompleteness theorem demonstrates the non-derivability of certain true statements within the system.
Теорема неполноты Гёделя демонстрирует невыводимость некоторых истинных высказываний внутри системы.
Дополнительные переводы
Используется, когда смысл связан с невозможностью доказательства в формальной системе
Опеределения
non-derivability
Существительное
The state, quality, or condition of not being derivable, especially the property of a statement or conclusion that cannot be logically derived from specified premises or axioms.
Gödel's incompleteness theorem demonstrates the non-derivability of certain true statements within the system.