什么是可计算的？

设函数F的定义域是D，值域是R，如果存在一种算法，对D中任意给定的X，都能计算出F(X)的值，
则称函数F是可计算的。

可计算的任务：
为计算机建立一个数学模型，称为计算模型，然后证明，凡是这个计算模型能够完成的任务，就是可计算的任务。