TheoremProving: Difference between revisions
Content deleted Content added
fw-us-hou-8.bmc.com (talk) No edit summary |
Larry_Sanger (talk) m uncapitalized some words... |
||
| Line 1: | Line 1: | ||
A [[ |
A [[mathematical theorem]] begins with a [[mathematical hypothesis]], proceeds through [[mathematical reasoning]] to reach a [[mathematical conclusion]]. |
||
| Line 19: | Line 19: | ||
* Contradiction - Assuming the theorem is always false and proving that the assumption is never true |
* Contradiction - Assuming the theorem is always false and proving that the assumption is never true |
||
* [[Inductance]] |
* [[Inductance]] (do you mean [[mathematical induction]]?) |
||
* ? |
* ? |
||
Revision as of 18:02, 12 March 2001
A mathematical theorem begins with a mathematical hypothesis, proceeds through mathematical reasoning to reach a mathematical conclusion.
Mathematicians seek to establish chains of reasoning that are convincing to other mathematicians. The main differences between mathematical argument and ordinary logical argument are in the topics of mathematical discourse.
The following diagram displays the relations among the terms:
- Theorem = Hypothesis--->Proof--->Conclusion
There are ? basic ways of proving a theorem correct:
- Contradiction - Assuming the theorem is always false and proving that the assumption is never true
- Inductance (do you mean mathematical induction?)
- ?