什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。

马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。

那什么又是不可以计算的？