-
Английский
-
Русский
-
Английский
-
Русский
Непротиворечивость
Перевод непротиворечивость на английский язык
непротиворечивость
Существительное
Непротиворечивость данных важна для анализа.
Consistency of data is important for analysis.
Опеределения
непротиворечивость
Существительное
Свойство или состояние, при котором отсутствуют противоречия, логическая согласованность.
Непротиворечивость аргументов является важным аспектом в научных исследованиях.
Идиомы и фразы
логическая непротиворечивость
Логическая непротиворечивость важна в аргументации.
logical consistency
Logical consistency is important in argumentation.
непротиворечивость данных
Необходимо проверить непротиворечивость данных перед анализом.
consistency of data
It is necessary to check the consistency of data before analysis.
непротиворечивость теории
Для научной теории важна её непротиворечивость.
consistency of theory
The consistency of theory is important for scientific theories.
формальная непротиворечивость
Формальная непротиворечивость обеспечивается строгостью доказательств.
formal consistency
Formal consistency is ensured by the rigor of proofs.
математическая непротиворечивость
Проверка математической непротиворечивости требует тщательного анализа.
mathematical consistency
Checking mathematical consistency requires careful analysis.
аксиома непротиворечивости
Аксиома непротиворечивости гарантирует отсутствие противоречий в системе.
axiom of consistency
The axiom of consistency ensures that there are no contradictions in the system.
Примеры
Могут ли все люди увидеть непротиворечивость всех этих систем или нужно быть математиком калибра Пенроуза, чтобы увидеть непротиворечивость наиболее сильных из них?
Can all humans see the consistency of all these systems, or do you have to be a Penrose-caliber mathematician to see the consistency of the stronger ones?
Для доказательства второй теоремы Гёделя о неполноте необходимо отметить, что непротиворечивость аксиом доказывает, что программа DEDUCE не останавливается, так что система не может доказать свою собственную непротиворечивость.
To prove the second incompleteness theorem, note that the consistency of the axioms proves that DEDUCE does not halt, so the axiom system cannot prove its own consistency.
Из второй теоремы Гёделя о неполноте также следует, что теория \(T_1\), удовлетворяющая перечисленные выше технические условия, не может доказать непротиворечивость произвольной теории \(T_2\), которая доказывает непротиворечивость теории \(T_1\).
Gödel's second incompleteness theorem also implies that a theory T_1 satisfying the technical conditions outlined above can't prove the consistency of any theory T_2 which proves the consistency of T_1.
Это простое заключение второй теоремы о неполноте показывает, что не существует надежды доказать, например, непротиворечивость арифметики первого порядка при помощи использования предоставленных ею конечных механизмов, и понимается, что конечные механизмы корректно формализованы в теории, непротиворечивость которой доказывается в рамках АП (арифмметика Пеано).
This easy corollary of the second incompleteness theorem shows that there is no hope of proving e.g. the consistency of first-order arithmetic using finitistic means provided we accept that finitistic means are correctly formalized in a theory the consistency of which is provable in PA.
Проблема в том, что непротиворечивость не может быть доказана в рамках самой системы.)
The problem is that the consistency cannot be proved within the system itself.)