7 Quotes by Leslie Lamport

Formal mathematics is nature's way of letting you know how sloppyyour mathematics is.

Writing is nature’s way of letting you know how sloppy your thinking is.

A distributed system is one in which the failure of a computer you didn’t even know existed can render your own computer unusable.

Thinking is not the ability to manipulate language; it’s the ability to manipulate concepts.

Formatting is no substitute for writing.

Thinking doesn’t guarantee that we won’t make mistakes. But not thinking guarantees that we will.

When I write a paper, I change my notation much more than I change my concepts.