pf2html
LATEX2HTML + pf.sty (hypertext proofs) |
Home | Restrictions | Proofs | Download | Publications | Related links | Contacts |
How to Write a Proof
Leslie Lamport
February 14, 1993 - revised December 1, 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.
Leslie Lamport, 1993, How to write a proof. In Global Analysis of Modern Mathematics, pp. 311-321. Publish or Perish, Houston, Texas, February 1993. A symposium in honor of Richard Palais' sixtieth birthday (also published as SRC Research Report 94). http://research.microsoft.com/users/lamport/proofs/src94.ps.Z