出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 词条 | 机器证明 |
| 释义 | 机器证明 机器证明 使用计算机证明数学定理。机器证明的研究有试探法、判定法、证明算法和机器辅助法等方向。试探法是对所要证明的命题考虑若干种可能的证法,然后编程序逐一试验。判定法是在所要证明的命题所属的理论的判定问题获得解决的基础上,根据判定算法加以证明或否证。证明算法是将所要证明的命题表示为谓词演算中的合式公式,然后,当此命题是定理时,可根据算法得出表示它的否定命题的公式是不可满足的(当命题不是定理时无结果)。机器辅助法是将证明中大量的繁琐工作交机器完成,因此是在机器的辅助下实现证明。中国数学家吴文俊(1919— )在该领域有重要贡献,他把几何问题化成多元多项式方程组的定解问题,并创造出解相应方程组的理论与方法,现称“吴方法”。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。