Talk:Proof (mathematics): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Peter Schmitt
m (Talk:Proof moved to Talk:Proof (mathematics): Disambiguation needed!)
imported>Peter Schmitt
(→‎Move: new section)
 
(One intermediate revision by one other user not shown)
Line 3: Line 3:
== Directed link ==
== 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)
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 [http://en.wikipedia.org/wiki/Mathematical_fallacy WP]. [[User:Boris Tsirelson|Boris Tsirelson]] 17:26, 21 November 2009 (UTC)
 
== Move ==
 
I moved the page since this is dedicated to mathematical proof, and proof needs disambiguation. [[User:Peter Schmitt|Peter Schmitt]] 17:31, 21 November 2009 (UTC)

Latest revision as of 11:31, 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. 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)