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

2026-10-17 03:59 浏览次数 33

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中文，computability的意思，computability翻译及用法
CompuServe中文，CompuServe的意思，CompuServe翻译及用法
compunctious中文，compunctious的意思，compunctious翻译及用法
compunction in中文，compunction in的意思，compunction in翻译及用法
compunction中文，compunction的意思，compunction翻译及用法
compulsory voting中文，compulsory voting的意思，compulsory voting翻译及用法
compulsory treatment中文，compulsory treatment的意思，compulsory treatment翻译及用法
compulsory subject中文，compulsory subject的意思，compulsory subject翻译及用法
compulsory registration中文，compulsory registration的意思，compulsory registration翻译及用法
compulsory purchase中文，compulsory purchase的意思，compulsory purchase翻译及用法
computable中文，computable的意思，computable翻译及用法
computable model中文，computable model的意思，computable model翻译及用法
computation中文，computation的意思，computation翻译及用法
computational中文，computational的意思，computational翻译及用法
computational aeroacoustics中文，computational aeroacoustics的意思，computational aeroacoustics翻译及用法
Computational and Applied Mathematics中文，Computational and Applied Mathematics的意思，Computational and Applied Mathematics翻译及用法
computational chemistry中文，computational chemistry的意思，computational chemistry翻译及用法
computational complexity中文，computational complexity的意思，computational complexity翻译及用法
computational complexity scalable中文，computational complexity scalable的意思，computational complexity scalable翻译及用法
computational complexity theory中文，computational complexity theory的意思，computational complexity theory翻译及用法