算法正确性证明： ·自动验证： some sort of super-algorithm that would accept as inputs a description of an algorithmic problem P and an algorithm A that is proposed as a solution, and would determine if indeed A solves P. ■人工证明： Can we ourselves prove our algorithms to be correct?Is there any way in which we can use formal,mathematical techniques to realize this objective?算法正确性证明：  自动验证：  some sort of super-algorithm that would accept as inputs a description of an algorithmic problem P and an algorithm A that is proposed as a solution, and would determine if indeed A solves P.  人工证明：  Can we ourselves prove our algorithms to be correct? Is there any way in which we can use formal, mathematical techniques to realize this objective?