-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
Proof-theoretical
Übersetzung von "proof-theoretical" ins Russisch
proof-theoretical
Adjektiv
UK
/ˌpruːf θɪˈə.rɪ.tɪ.kəl/
US
/ˌpruf θiˈɛr.ɪ.tɪ.kəl/
Technical relational adjective, chiefly in logic and mathematics.
теоретико-доказательный
Термин логики и математики; относится к теории доказательств. The proof-theoretical analysis clarified the limits of the formal system.
Теоретико-доказательный анализ прояснил границы формальной системы.
Definitionen
proof-theoretical
Adjektiv
UK
/ˌpruːf θɪˈə.rɪ.tɪ.kəl/
US
/ˌpruf θiˈɛr.ɪ.tɪ.kəl/
Relating to proof theory.
The proof-theoretical analysis clarified the limits of the formal system.
Redewendungen und Phrasen
proof-theoretical analysis
The proof-theoretical analysis shows that the system is consistent.
анализ в теории доказательств
Анализ в теории доказательств показывает, что система непротиворечива.
proof-theoretical framework
Researchers developed a proof-theoretical framework for the new logic.
рамки теории доказательств
Исследователи разработали рамки теории доказательств для новой логики.
proof-theoretical approach
A proof-theoretical approach can clarify the structure of the argument.
подход с точки зрения теории доказательств
Подход с точки зрения теории доказательств может прояснить структуру аргументации.
proof-theoretical methods
The paper compares proof-theoretical methods with model-theoretic ones.
методы теории доказательств
В статье сравниваются методы теории доказательств с модельно-теоретическими методами.
proof-theoretical results
The proof-theoretical results confirm the expected behavior of the calculus.
результаты теории доказательств
Результаты теории доказательств подтверждают ожидаемое поведение исчисления.
proof-theoretical study
This proof-theoretical study focuses on the completeness of the system.
исследование в области теории доказательств
Это исследование в области теории доказательств сосредоточено на полноте системы.
proof-theoretical considerations
Proof-theoretical considerations influenced the choice of axioms.
соображения теории доказательств
Соображения теории доказательств повлияли на выбор аксиом.
proof-theoretical investigation
The proof-theoretical investigation revealed several hidden assumptions.
исследование в области теории доказательств
Исследование в области теории доказательств выявило несколько скрытых предположений.
proof-theoretical perspective
From a proof-theoretical perspective, the theory is very elegant.
с точки зрения теории доказательств
С точки зрения теории доказательств эта теория очень элегантна.
proof-theoretical strength
The proof-theoretical strength of the calculus is still being studied.
доказательная сила
Доказательная сила исчисления всё ещё изучается.