Jump to content

TheoremProving: Difference between revisions

From Wikipedia, the free encyclopedia
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. We can picture this as:
Mathematicians seek to establish chains of [[LoGic|reasoning]] that are convincing to other mathematicians. We can picture this as:





Revision as of 13:25, 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. We can picture this as:


  • Theorem = Hypothesis--->Proof--->Conclusion