Talk:Derivation

This disambiguation page is within the scope of WikiProject Disambiguation, an attempt to structure and organize all disambiguation pages on Wikipedia. If you wish to help, you can edit the page attached to this talk page, or visit the project page, where you can join the project or contribute to the discussion.DisambiguationWikipedia:WikiProject DisambiguationTemplate:WikiProject DisambiguationDisambiguation articles

"Derivation" not synonymous with "proof" in mathematical logic[edit]

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)[reply]

Disambiguation Fix[edit]

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)[reply]