Talk:Proof (mathematics): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Daniel Mietchen
(started)
 
imported>Boris Tsirelson
(→‎Directed link: new section)
Line 1: Line 1:
{{subpages}}
{{subpages}}
== 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. [[User:Boris Tsirelson|Boris Tsirelson]] 17:17, 21 November 2009 (UTC)

Revision as of 11:17, 21 November 2009

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. Boris Tsirelson 17:17, 21 November 2009 (UTC)

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