-
Englisch
-
Russisch
-
Deutsch
-
Englisch
-
Russisch
-
Deutsch
Non-derivability
Übersetzung von "non-derivability" ins Russisch
non-derivability
Substantiv
non-derivability
non-derivabilities Pl.
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.
Теорема неполноты Гёделя демонстрирует невыводимость некоторых истинных высказываний внутри системы.
Weitere Übersetzungen
Используется, когда смысл связан с невозможностью доказательства в формальной системе
Definitionen
non-derivability
Substantiv
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.