附录 可计算性和能行可计算性