12.2.1 可计算性问题