Citizendium - a community developing a quality, comprehensive compendium of knowledge, online and free.
Click here to join and contribute
CZ thanks our previous donors. Donate here. Treasurer's Financial Report

Talk:Proof (mathematics)

From Citizendium
Jump to: navigation, 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)

Move

I moved the page since this is dedicated to mathematical proof, and proof needs disambiguation. Peter Schmitt 17:31, 21 November 2009 (UTC)