解决一类问题的有限长操作序列
想到之前看到的不完备定理的证明能够用到这个
- 有穷性
- 无二义性
- 可行性（操作足够基本，能够用四则运算与其他基本操作构建出）
- 功能性：算法都是用来求解特定问题的，所以对任意合法的 0 个或任意多个输入，算法产生的一个或多个输出就是其结果
算法设计的要求
- 正确性
- 一般来说从弱到强有四种是否“正确”的理解
- 程序不含语法错误
- 对于几组数据能够输出满足要求的结果
- 对于精心构造的典型、苛刻且带有刁难性质的几组输入数据能够输出正确的结果（实际中这个便可以作为是否正确的标准了）
- 对于所有的合法输入都能够输出满足要求的结果
- 可读性
- 健壮性
- 高效性和低存储