法，在有限步骤内，可以判定这个数是不是质数。虽然人们很早就有了演算法的朴素概念，但对于到底什么是可行的计算，仍没有精确的概念。一个问题的可解与不可解究竟是什么含意，当时的人们还不得而知。然而为了研究第十问题，必须给予演算法精确化的观念。这点还有赖于数理逻辑学对可计算性理论的发展，才得以实现。
基本观念.
不定方程.不定方程是指含任意数量变元的整系数多项式方程这里formula_3都是正整数、负整数或零，而变元formula_4的定义域是自然数或整数。若