Math by Proof
What is it, and why should we?

Formalised mathematics is distinguished from informal mathematics by three features:

These methods are potentially applicable not just in those areas of mathematics where discovering and proving new mathematical results is the central purpose, but in all aspects of mathematics whether or not they are normally associated with proof.

There is nothing in the stated criteria for formalisation which excludes efficient arithmetic computation and algebraic manipulations from the domain of formalised mathematics.

Among the benefits of doing mathematics by formal proof are:

UP © RBJ created 1996/4/8 modified 1996/10/5 HOME