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>Boris Tsirelson |
||
| 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: | 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) | ||
Revision as of 11:26, 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)