WRITING PROOFS
Last modified 3 August 1994
- How to Write a Proof
Leslie Lamport
14 February 1993
- Abstract:
A method of writing proofs is proposed that makes it much harder to
prove things that are not true. The method, based on hierarchical
structuring, is simple and practical.
Postscript -
DVI -
LaTeX
- How to Write a Long Formula
Leslie Lamport
25 December 1993
- Abstract:
Standard mathematical notation works well for short
formulas, but not for the longer ones often written by computer
scientists. Notations are proposed to make one or two-page formulas
easier to read and reason about.
Postscript -
DVI -
LaTeX
There are LaTeX document-style options
that are useful for writing proofs and formulas.
This page can be found by searching the Web for the 23-letter
string
uidlamportwritingproofs.
Please do not put this string in any document that could wind up on
the web--including email messages and Postscript and Word documents.
You can refer to it in Web documents as "the string obtained by
removing the - from
uid-lamportwritingproofs".