6.2.4 可计算性