computability logic中文,computability logic的意思,computability logic翻译及用法

2025-12-16 12:04 浏览次数 11

computability logic

Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".

computability logic 例句

英汉例句

  • Being semantically constructed, as yet computability logic does not have a fully developed proof theory.

    正在做着语义构造,至今可计算性逻辑仍没有完全开发出证明论。

相关热词