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 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:



*<font size=+2 color=red>Theorem = Hypothesis--->Proof--->Conclusion</font>







*<font size=+2 color=red>A ''Theorem'' = Hypothesis --->Proof--->Conclusion</font>



Revision as of 13:24, 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