That's a rubbish title. (edit: the original title was 'Computer scientist tells mathematicians how to write proofs') Leslie Lamport is a mathematician by educa

That's a rubbish title. (edit: the original title was 'Computer scientist tells mathematicians how to write proofs') Leslie Lamport is a mathematician by education. And I have a good idea he'd prefer to be called a mathematician if he had to choose between the two labels (mathematician and computer scientist). That's not to say CS, and programming, doesn't contribute to the process of rigor. In fact, I had a realization that a program is a form of constructive mathematics, and hence a program is more rigorous than a proof on paper in the following sense: a single typo in a math proof would be overlooked by the reader, but a single typo in a program could make it fail. Still, in order to make connections between programming and mathematical rigor, you have be trained in mathematics, not just computer science.