Talk:Proof (mathematics)

From Citizendium
Revision as of 11:26, 21 November 2009 by imported>Boris Tsirelson (→‎Directed link)
Jump to navigation Jump to search
This article is a stub and thus not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition:  A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions. [d] [e]
Checklist and Archives
 Workgroup category:  Mathematics [Categories OK]
 Talk Archive:  none  English language variant:  British English

Directed link

We should make clear that the link is directed from "ascertained" (axioms) to "non-ascertained" (theorem), since in practice one often makes algebraic transformations in the opposite direction, and sometimes forget to bother about correctness of the needed direction. Examples are available at WP. Boris Tsirelson 17:26, 21 November 2009 (UTC)

Retrieved from "https://citizendium.org/wiki/index.php?title=Talk:Proof_(mathematics)&oldid=707686"