部分可计算性的英文翻译

中文：部分可计算性