Talk:Derivation

"Derivation" not synonymous with "proof" in mathematical logic

The two terms are not synonymous. A proof is a special case of a derivation. In a proof, the initial set of formulas contains only axioms (of a given axiomatic system). I am going to delete the following from the diambiguation page:

A derivation in logic may also be used as a synonym for proof, particularly for formulae.

--71.246.5.61 13:26, 5 August 2006 (UTC)

Disambiguation Fix

There is a wiki link in the 5th meaning to generator which links to a diambiguation page, I am not sure what article this page intends to link to. My best guess is that it should link to generating set of a group because the other uses are mostly regarding computer science and electrical generators. If someone can fix the link to the correct article (or remove the link) it would be very much appreciated. Thanks FlyHigh 09:19, 13 November 2006 (UTC)