可计算性和波动方程