Theorem-proving

HomePage | Recent changes | View source | Discuss this page | Page history | Log in |

Printable version | Disclaimers | Privacy policy

Mathematicians, logicians, and others who prove theorems seek to establish chains of reasoning that are convincing to others.

There are many ways to prove a theorem, including:

In mathematical logic, a derivation is defined as a sequence of statements, each of which is either 1) an assumption, 2) a tautology, or 3) follows from two previous statements by the rule of modus ponens - the idea is that the statements form a tree, with assumptions and tautologies at the leaves. A theorem is any statement which has a derivation. Of course in practice more complicated rules are also used.

Closely related to theorem proving is automated theorem proving.

I am thinking we should simply have an article called proof and another called mathematical proof.

/Talk