Writing Proofs
Library Home 
Full Table of Contents 
Library Help
http://www.research.digital.com/SRC/personal/Leslie_Lamport/proofs/proofs.html  


Leslie Lamport  
PostScript, DVI, and LaTeX versions of each (but no HTML) are available. How to Write a Proof: 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. How to Write a Long Formula: 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 twopage formulas easier to read and reason about.  


Levels:  College, Research 
Languages:  English 
Resource Types:  Articles 
Math Topics:  Communicating Math 
[Privacy Policy] [Terms of Use]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/