确定性是肯定的。你说的不可计算性可能是指的没有解析的表达式可以描述。像这种例子很多，比如一个匀速运动的物体和一个速度随时间正弦变化的物体同时出发，求再次相遇的时刻。在求解时，你发现你算的是x＝cosx的解，这个方程是超越方程，没有用表达式表示的解（解析解），但是用数值的方法可以以任意精度地逼近这个解。而三体问题虽然没有解析解，也可以从数值模拟的角度得到具体的结果。
研究在不同的计算模型下哪些算法问题能够被解决。相对应的，计算理论的另一块主要内容，计算复杂性理论考虑一个问题怎样才能被有效地解决。
可计算性理论，亦称算法理论或能行性理论，计算机科学的理论基础之一。是研究计算的一般性质的数学理论。可计算性理论通过建立计算的数学模型，精确区分哪些是可计算的，哪些是不可计算的。
通常把那些存在算法计算其值的函数叫作可计算函数。因此，可计算函数的精确定义为：能够在抽象计算机上编出程序计算其值的函数。这样就可以讨论哪些函数是可计算的，哪些函数是不可计算的。
停机问题
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：给定一个程序P和输入w，程序P在输入w下是否能够最终停止。
不可解度
不可解度的概念定义了不可解的集合之间的相对计算难度。例如，不可解的停机问题显然比任何可解的集合都要难，然而同样不可解的“元停机问题”（即所有具备停机问题的预言机的停机问题）却要难过停机问题，因为具备元停机问题的预言机可以解出停机问题，然而具备停机问题的预言机却不能解出元停机问题。
