Talk:Derivation
Add topicLatest comment: 19 years ago by FlyHigh in topic Disambiguation Fix
 | This disambiguation page does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
"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:
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)