Theorem Proving Algorithm

Abstract

The ability to prove theorems in mathematics is a good example of an intellectual faculty and one that is relevant to the construction of reasoning programs. Examples of such programs are the ones capable of finding proofs for theorems within mathematical theories. Such programs are called theorem provers. We will first analyze developments in computer science in this field and later a basic theorem prover will be presented.