定理机器证明

定理机器证明（ＴｈｅＭａｃｈｉｎｅＤｅｍｏｎｓｔｒａｔｉｏｎｏｆＴｈｅｏｒｅｍｓ），就是把人们证明定理的一般知识和规则以适当形式存贮到计算机中，让机器通过运转，自动地证明定理，既是早期人工智能研究的重要课题，又属知识工程的范畴。有深奥的哲学原理。我国数学家吴文俊在中国古代数学思想的启迪下，所创立的“定理机器证明”方法，在国际上独树一帜，并在定理机器证明领域内树立了影响深远的里程碑，被誉为吴方法。本文简要的介绍了吴方法的梗概。