Difference between revisions of "Two-column proof"
Asymptosis (talk | contribs) (Quick outline of two-column format for proof-writing) |
Asymptosis (talk | contribs) m (Added a couple of intrawiki links) |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
The '''two-column format''' is the method by which many students are introduced to formal [[proof|proof-writing]] in mathematics. The student divides the page into two columns. In the left column goes a list of statements, each one a consequence of the one above it in the list. Adjacent to each such statement (in the right column) is the reason why this statement does indeed follow from the previous step. Eventually, some non-trivial result is obtained. | The '''two-column format''' is the method by which many students are introduced to formal [[proof|proof-writing]] in mathematics. The student divides the page into two columns. In the left column goes a list of statements, each one a consequence of the one above it in the list. Adjacent to each such statement (in the right column) is the reason why this statement does indeed follow from the previous step. Eventually, some non-trivial result is obtained. | ||
− | Proofs in higher levels of mathematics drop the explicit two-column format, but may still employ the method implicitly. For example, if a derivation requires a step which is not obvious, the proof writer may quote the source of the result, and this will appear immediately to the right of the statement in question. This may involve putting a reference to the original paper in which the result appeared, or else the name of a theorem or lemma which is widely known in the literature. (One might say such-and-such-a-step follows "by Caratheodory's theorem", for instance.) | + | Proofs in higher levels of mathematics drop the explicit two-column format, but may still employ the method implicitly. For example, if a derivation requires a step which is not obvious, the proof writer may quote the source of the result, and this will appear immediately to the right of the statement in question. This may involve putting a reference to the original paper in which the result appeared, or else the name of a [[theorem]] or [[lemma]] which is widely known in the literature. (One might say such-and-such-a-step follows "by Caratheodory's theorem", for instance.) |
+ | |||
+ | ==Reference== | ||
+ | * [http://mathworld.wolfram.com/Two-ColumnProof.html Wolfram Mathworld -- Two-Column Proof] | ||
{{stub}} | {{stub}} | ||
[[Category:Mathematics]] [[Category:Proofs]] | [[Category:Mathematics]] [[Category:Proofs]] |
Latest revision as of 00:37, 14 June 2008
The two-column format is the method by which many students are introduced to formal proof-writing in mathematics. The student divides the page into two columns. In the left column goes a list of statements, each one a consequence of the one above it in the list. Adjacent to each such statement (in the right column) is the reason why this statement does indeed follow from the previous step. Eventually, some non-trivial result is obtained.
Proofs in higher levels of mathematics drop the explicit two-column format, but may still employ the method implicitly. For example, if a derivation requires a step which is not obvious, the proof writer may quote the source of the result, and this will appear immediately to the right of the statement in question. This may involve putting a reference to the original paper in which the result appeared, or else the name of a theorem or lemma which is widely known in the literature. (One might say such-and-such-a-step follows "by Caratheodory's theorem", for instance.)
Reference
This article is a stub. Help us out by expanding it.