TheoremProving: Difference between revisions
Appearance
Content deleted Content added
ppp86.204dip.netdial.caribe.net (talk) No edit summary |
fw-us-hou-8.bmc.com (talk) No edit summary |
||
Line 15: | Line 15: | ||
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]] |
|||
* ? |
|||
Revision as of 15:03, 12 March 2001
A Mathematical Theorem begins with a Mathematical Hypothesis, proceeds thru 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
- ?