Talk:Proof (mathematics): Difference between revisions
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
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)