A Special Method of Formalization for Mathematical Concepts
Yan Liu, Pan H · Microcomputer Development · 1998
The first important task of mechanical theo- rem proving is to find a formal language for describing mathe- matical concepts.In this paper the auther discusses a special method of formalizing mathematical problems.It is the main characteristics that only two predicates and finite constant symbols are used for the formal system.Using these predi- cates and constant symbols,the definition of formulas which can decribe various mathematical problems is given,such as ordered pair,relation,function,group etc.This will lay a foundation for formal deduction of using computer. [