How to write a proof
Leslie Lamport ( Compaq Systems Research Center )
- 16:30 2nd May 2000Lecture Theatre
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.