Research and Realization of Theorem Proving Based on Combination and Replace
Wang Peng · Computer Technology and Development · 2012
Mechanical theorem proving can prevent stupid mistakes of human being.It is one of the most important aspects of artificial intelligence.It can be foreseen that after a few years this technique will be used in many fields.Functional programming language is good at theorem proving,as a result of its design idea.It is similar to mathematics.It programs the way human being often do when they do the job of theorem proving.The program can also show the detailed steps.The way of human thinking can be simulated,to realize proving of theorem.Treat what people know as start,what people want as end and the acknowledged truth as road.And the procedure to prove is to find the road from start to end.It puts forward a simple way to realize the proving of mathematics formula.The experiments show that achieve the goal of theorem through the use of functional language.