算法- 维基百科，自由的百科全书

形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义 有效计算性或者有效方法中成形。

zh.wikipedia.org