SRC Research Report 94

How to Write a Proof

Leslie Lamport

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.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 64 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 46 Kbytes
  
• PostScript compressed with ZIP -- 48 Kbytes
  
• PostScript -- 168 Kbytes
  
• Portable Document Format (PDF) -- 184 Kbytes