How to write a proof

Leslie Lamport (Compaq Systems Research Center)

info

date	2nd May 2000
time	16:30
place	Lecture Theatre

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.

further info

related series

The Strachey Lectures in Computing Science