TheoremProving: Difference between revisions
Content deleted Content added
ppp86.204dip.netdial.caribe.net (talk) No edit summary |
ppp86.204dip.netdial.caribe.net (talk) No edit summary |
||
| Line 3: | Line 3: | ||
Mathematicians seek to establish chains of [[LoGic|reasoning]] that are convincing to other mathematicians. |
Mathematicians seek to establish chains of [[LoGic|reasoning]] that are convincing to other mathematicians. The main differences between mathematical argument and ordinary logical [[LoGic|argument]] are in the [[Mathematics/Schemes|topics]] of mathematical discourse. |
||
The following diagram displays the relations among the terms: |
|||
Revision as of 13:30, 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